Prove that there exists a finite sequence of distinct positive integers , such that
Saudi Arabian Mathematical Competitions, 2012
Solution
We use the fact that the harmonic series diverges. This means that for any real , we can find an such that . But is finite for any fixed , so therefore for any real and integer we can find an such that .
Take the smallest value of such that . We claim that , is a sequence that works. We have by hypothesis that .
Suppose that . Because , we have . But this means , contradicting the minimality of . So in fact we must have , as desired.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.