Postulat Bertranda stwierdza, że dla każdej liczby całkowitej n ≥ 1 istnieje co najmniej jedna liczba pierwsza p, tak że n <p ≤ 2n . Aby zweryfikować to twierdzenie dla n <4000 , nie musimy sprawdzać 4000 przypadków: sztuczka Landaua mówi, że wystarczy sprawdzić, czy 2, 3, 5, 7, 13, 23,...