Bertranov postulat
Bertranov postulat je pretpostavka koju je postavio francuski matematičar Žozef Bertran (Joseph Bertrand, 1822–1900), da za bilo koji celi broj n veći od 3, uvek postoji bar jedan prost broj između n i 2n−2. To je dokazao Čebišev 1850. godine.