MathLabs

Problem 3

Let k≥14k\ge14 be an integer, and let pkp_k be the largest prime strictly less than kk. You may assume that pk≥3k/4p_k\ge3k/4. Let nn be composite. Prove: (a) if n=2pkn=2p_k, then nn does not divide (n−k)!(n-k)!; (b) if n>2pkn>2p_k, then nn divides (n−k)!(n-k)!.
Step 5 of 5: Finish the exceptional factor cases
b=2: n=2a, a≥k, n−k≥a;b=a: n=a2, n−k>n/3≥2ab=2:\ n=2a,\ a\ge k,\ n-k\ge a;\qquad b=a:\ n=a^2,\ n-k>n/3\ge2a
Detailed analysis

If b<3b<3, then b=2b=2 and n=2a>2pkn=2a>2p_k. The prime aa is therefore greater than pkp_k; by maximality of pkp_k below kk, a≥ka\ge k, so n−k=2a−k≥an-k=2a-k\ge a. The factors 22 and aa occur in the factorial. If b=ab=a, then n=a2n=a^2 and a≥6a\ge6 because n>26n>26; hence n−k>n/3=a2/3≥2an-k>n/3=a^2/3\ge2a, so aa and 2a2a occur and their product is 2a22a^2, in particular supplying the two copies of aa needed for a2∣(n−k)!a^2\mid(n-k)!.