Proof WritingHardPigeonhole and Extremal Arguments
Pigeonhole and Extremal Arguments · Hard problem
The greedy algorithm writes a fraction as a sum of distinct unit fractions: subtract the largest that fits, and repeat. The numerators of the remainders strictly decrease, so it stops. For , what is the largest denominator used?