Problem:
Prove that for every positive integer , there is an integer such that is divisible by .
Solution
Solution:
We prove this by induction on .
If , or , then works.
Suppose that is divisible by and . We seek to find such that is divisible by . Let
If is even, we are done since is divisible by . If is odd, , we have
Since is obviously odd and , this is a multiple of , and works.
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.