Paul Erdős
The following proof by contradiction is due to Paul Erdős.