Let be a subset of the set of all natural numbers with the property that for any two numbers and in either divides or divides . Prove that every is greater than the sum of all those numbers in that are smaller than .
, 2008
Solution
Denote the elements of the set by , so that . We will prove the claim by induction. Obviously, the sum of all numbers less than is equal to and is therefore less than .
Now, assume that for a positive integer we have . We show that a similar estimate holds for .
We have , so cannot be a divisor of and is a divisor of . So, there exists a positive integer such that . Since and are not equal, we have and
by induction hypothesis. This inequality shows that the claim is true for and, by induction, for all positive integers.
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.