Problem 3
For any positive integer , let denote the number of positive divisors of (including and itself). Determine all positive integers such that for some .
Step 2 of 6: Prove necessity
In plain words
A divisor of an odd number is odd.
Detailed analysis
Because is a perfect square, every exponent in its factorization is even and is odd. Since is an integer, divides the odd integer ; therefore must be odd.