ポール・エルデシュ
最初に得られたチェビシェフによる証明はガンマ関数を使った高度なものであった。のちに、ポール・エルデシュが高校生のときに初等的な証明を与えた。