Problem:
Determine, with proof, whether or not there exist distinct positive integers such that
Problem:
Determine, with proof, whether or not there exist distinct positive integers such that
Solution:
Yes, the decomposition exists.
Recall that the harmonic series diverges. We first take the largest partial sum of the harmonic series that is smaller than , subtract it from to get a "remainder" . We then use the greedy algorithm to pick the rest of the unit fractions: pick the largest integer with , and replace with . It is not hard to see the integers chosen at each step increase.
The main observation is that as we whittle away at the remainder , the numerator of the remainder decreases at every step. Therefore this process must eventually terminate, and it can only terminate when , as needed.