lo que se llama primorial de p n .

Un número
primo de la forma p n # +1 se denomina número
primo de Euclides en honor al matemático
griego. También se puede elaborar una
demostración similar a la de Euclides tomando
el producto de un número dado de números
primos menos uno, el lugar del producto de
esos números primos más uno. En ese sentido,
se denomina número primo primorial a un
número primo de la forma p n # ± 1.
No todos los números de la forma p n # +1 son
primos. En este caso, como se sigue de la
demostración anterior, todos los factores primos
deberán ser mayores que n. Por ejemplo:
2ꞏ3ꞏ5ꞏ7ꞏ11ꞏ13+1=30031=59ꞏ509
Otros matemáticos han demostrado la infinitud
de los números primos con diversos métodos
procedentes de áreas de las matemáticas tales
como al álgebra conmutativa y la topología.25
Algunas de estas demostraciones se basan en
el uso de sucesiones infinitas con la propiedad
de que cada uno de sus términos es coprimo
con todos los demás, por lo que se crea
una biyección entre los términos de la sucesión
y un subconjunto (infinito) del conjunto de los
primos.
Una sucesión que cumple dicha propiedad es
la sucesión de Euclides-Mullin, que deriva de la
demostración euclídea de la infinitud de los
números primos, ya que cada uno de sus
términos se define como el factor primo más
pequeño de uno más el producto de todos los
términos anteriores. La sucesión de Sylvester se
define de forma similar, puesto que cada uno de
sus términos es igual a uno más el producto de
todos los anteriores. Aunque los términos de
esta última sucesión no son necesariamente
todos primos, cada uno de ellos es coprimo con
todos los demás, por lo que se puede escoger
cualquiera de sus factores primos, por ejemplo,
el menor de ellos, y el conjunto resultante será
un conjunto infinito cuyos términos son todos
primos.
Otros enunciados que implican la infinitud de los números
primos[editar]