Un factorial primo es un número primo que es uno menos o uno más que un factorial (todos los factoriales mayores que 1 son pares ). [1]
Los primeros 10 primos factoriales (para n = 1, 2, 3, 4, 6, 7, 11, 12, 14) son (secuencia A088054 en la OEIS ):
n ! − 1 es primo para (secuencia A002982 en la OEIS ):
n ! + 1 es primo para (secuencia A002981 en la OEIS ):
No se conocen otros primos factoriales a fecha de octubre de 2022 [actualizar].
Cuando tanto n ! + 1 como n ! − 1 son compuestos , debe haber al menos 2 n + 1 números compuestos consecutivos alrededor de n !, ya que además de n ! ± 1 y n ! mismo, también, cada número de la forma n ! ± k es divisible por k para 2 ≤ k ≤ n . Sin embargo, la longitud necesaria de este hueco es asintóticamente menor que la ejecución compuesta promedio para números enteros de tamaño similar (ver hueco primo ).