ポール・エルデシュ
The following proof by contradiction is due to Paul Erdős.