Paul Erdős
Paul Erdős' 1946 lower bound of was successively improved to: