Consider the harmonic sequence
Prove that if we pick dinstinct terms of the above sequence we can construct an arithmetic progression sequence of as large (finite) length as we want.
Solution
We just observe that
are all distinct terms of the sequence.