Let pn be the nth prime number. Then for n ≥ 1
This result was subsequently improved upon to be:
- Rosser, J. B. "The n-th Prime is Greater than n log n". Proceedings of the London Mathematical Society 45, 21-44, 1939.
- Rosser's theorem article on Wolfram Mathworld.