Postulat Bertrand menyatakan bahwa untuk setiap bilangan bulat n ≥ 1 ada setidaknya satu prime p sehingga n <p ≤ 2n . Untuk memverifikasi teorema ini untuk n <4000 kita tidak perlu memeriksa 4000 kasus: Trik Landau mengatakan cukup untuk memeriksa bahwa 2, 3, 5, 7, 13, 23, 43, 83, 163, 317,...