For how many integers between and , inclusive, is an integer? (Recall that .)
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Since (n^2)!/((n!)^n n!) counts partitions into n groups of n, the quotient equals an integer times (n-1)!/n; it fails exactly for primes and n = 4.
Solution
Rewrite using :
The number of ways to split labeled objects into unlabeled groups of is , an integer . Hence
So the expression is certainly an integer whenever .
Composite : write with , so and are distinct factors of ; if with , then and both lie below . Either way , and the expression is an integer. Also gives .
Prime : the exponent of in is , while contains . Not an integer.
: the denominator has , but has only factors of . Not an integer.
Failures: the primes up to plus , so values fail and work.
The answer is .
Why this works
Two tools cover the problem: a combinatorial interpretation (multinomial and partition counts are integers) proves the "yes" cases in bulk, and Legendre's exponent count settles individual primes. The reduction to is a classic: it holds for every composite except , which is exactly the exceptional case here. Check small cases like by hand whenever a general argument has a boundary condition.
The trap
Counting only the 15 primes as failures (answer 35) and missing that n = 4 also fails, or forgetting that n = 1 works.
Common mistakes
- Counting only the 15 primes as failures (answer 35) and missing that n = 4 also fails, or forgetting that n = 1 works.
- Assuming the sufficient condition is also necessary without verifying directly, or counting the primes up to as or .
Techniques
Bound the quantity above/below or estimate to pin it down · Count the complement and subtract from the total · Compute small cases, spot the pattern, generalize