ポール・エルデシュ
Paul Erdős' 1946 lower bound of was successively improved to: