Además, Iwaniec y Pintz probaron en 1984 que siempre existe un número primo entre formula_5 y formula_6, siendo formula_7