upper bound on
Let be the Chebyshev function
Then for all .
The cases for and follow by inspection.
For even , the case follows immediately from the case for since is not prime.
- 1 G.H. Hardy, E.M. Wright, An Introduction to the Theory of Numbers, Oxford University Press, 1938.