El Postulado de Bertrand establece que por cada número entero n ≥ 1 hay al menos un primo p tal que n <p ≤ 2n . Para verificar este teorema para n <4000 no tenemos que verificar 4000 casos: el truco de Landau dice que es suficiente verificar que 2, 3, 5, 7, 13, 23, 43, 83, 163, 317, 631,...