Para cualquier entero n>1 existe un primo p tal que n<p<2n.
Este teorema fue conjeturado por Joseph Bertrand (1822–1900) y probado por Chebyshev (1821–1894) por lo que a este postulado también se le llama Teorema de Bertrand–Chebyshev o simplemete Teorema de Chebyshev.