Chen Jingrun demostró en 1965 que siempre existe un número comprendido entre formula_1 y formula_2 que sea primo o semiprimo, es decir, el producto de dos primos.