An elegant proof from Erdős | Heykuki News