Rosser's theorem


In number theory, Rosser's theorem was published by J. Barkley Rosser in 1939. Its statement follows.
Let pn be the nth prime number. Then for n ≥ 1
This result was subsequently improved upon to be: