For two rational numbers we say if there is so that . The sequence is an increasing sequence of natural numbers such that for all , and is a sequence of distinct natural numbers. Assume that for each we have
prove that for all we have .
Solution
by subtracting these equalities for we have:
Choose a big enough , such that for we have , (this is possible because are distinct natural numbers). Then we have .
Therefore .
Whence, for big enough , the sequence is decreasing, hence they are constant after some point. If then because we have . So we have for large enough .
Assume that for , , , by subtracting the equations
we get and so . Now we have
the are increasing so if the right hand side becomes negative which is a contradiction. Hence we have and by induction, we prove that . ■
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.