Факториальное простое число — это простое число , которое на единицу меньше или больше факториала (все факториалы больше 1 являются четными ). [1]
Первые 10 простых факториалов (для n = 1, 2, 3, 4, 6, 7, 11, 12, 14) (последовательность A088054 в OEIS ):
n ! − 1 является простым числом для (последовательность A002982 в OEIS ):
n ! + 1 является простым числом для (последовательность A002981 в OEIS ):
По состоянию на октябрь 2022 года другие простые факториалы неизвестны [обновлять].
Когда оба числа n ! + 1 и n ! − 1 являются составными , должно быть по крайней мере 2 n + 1 последовательных составных чисел вокруг n !, поскольку помимо n ! ± 1 и самого n !, также каждое число вида n ! ± k делится на k для 2 ≤ k ≤ n . Однако необходимая длина этого промежутка асимптотически меньше , чем средний составной пробег для целых чисел аналогичного размера (см. простой промежуток ).