Find all positive integers that have precisely natural divisors.
Solution
First observe that for some positive integer . As is not a perfect square, must be even, ergo is odd.
We now establish a bound on . Recall that, since is not a perfect square, there exists a bijective correspondence between factors of greater than and factors of at most . Furthermore, since is odd, all divisors of must also be odd. Therefore
Hence equality must hold, and so every odd number between 1 and must divide .
In particular, must divide ; but
Therefore, is either or , so equals either or and , both of these work.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.