Tšebyšovin lause

Matematiikassa Tšebyšovin lause, joka tunnetaan myös nimellä Bertrandin postulaatti, on alkulukuteoriaan liittyvä tulos. Sen mukaan jos n on mielivaltainen positiivinen kokonaisluku, on joukossa ${\displaystyle \{n,n+1,\ldots ,2n\}}$ aina vähintään yksi alkuluku. Joseph Bertrand osoitti väitteen todeksi lukuun ${\displaystyle 3\cdot 10^{6}}$ asti. Väitteen todisti Pafnuti Tšebyšov vuonna 1850. Ramanujan löysi kuitenkin lauseelle yksinkertaisemman todistuksen samoin kuin Paul Erdős vuonna 1932.