Los números primos primoriales, directamente relacionados con la demostración euclidiana de la infinitud de los números primos, son los de la forma "p" = "n"# ± 1 para algún número natural "n", donde "n"# es igual al producto 2 · 3 · 5 · 7 · 11 · … de todos los primos ≤ n.