El postulado de Bertrand dice que si n > 1 es un entero, entonces existirá al menos un número primo p con n < p < 2n. Otra formulación más débil pero más elegante es:

 

Este postulado fue inicialmente formulado en 1845 por Joseph Bertrand (1822-1900). El propio Bertrand verificó su certeza para [2, 3 × 106].
La demostración de esta conjetura la encontró Chebyshov (1821-1894) en 1850 y por tanto el postulado también es conocido como teorema de Bertrand-Chebyshov o teorema de Chebyshov. 
Ramanujan (1887-1920) dio una demostración más simple.