22
Bertrand'ın Asalları
Bertrand's Postulate , her n ≥ 1 tamsayısı için en az bir asal p olduğunu, öyle ki n <p ≤ 2n olduğunu belirtir . Bu teoremi n <4000 için doğrulamak için 4000 vakayı kontrol etmemize gerek yoktur: Landau numarası , bunu kontrol yeterli olduğunu söylüyor 2, 3, 5, 7, 13, …