Problem 3
Let be an integer, and let be the largest prime strictly less than . You may assume that . Let be composite. Prove: (a) if , then does not divide ; (b) if , then divides .
Step 5 of 5: Finish the exceptional factor cases
Detailed analysis
If , then and . The prime is therefore greater than ; by maximality of below , , so . The factors and occur in the factorial. If , then and because ; hence , so and occur and their product is , in particular supplying the two copies of needed for .