Факториал

Факториа́л — функция, определённая на множестве неотрицательных целых чисел. Название происходит от лат. factorialis — действующий, производящий, умножающий; обозначается $n!$ , произносится эн факториа́л. Факториал натурального числа $n$ определяется как произведение всех натуральных чисел от 1 до $n$ включительно:

n!=1\cdot 2\cdot \ldots \cdot n=\prod _{k=1}^{n}k

.

Например,

5!=1\cdot 2\cdot 3\cdot 4\cdot 5=120

.

Для $n=0$ принимается в качестве соглашения, что:

0!=1

.

Факториалы всех чисел составляют последовательность A000142 в OEIS
n	n!
0	1
1	1
2	2
3	6
4	24
5	120
6	720
7	5040
8	40320
9	362880
10	3628800
11	39916800
12	479001600
13	6227020800
14	87178291200
15	1307674368000
16	20922789888000
17	355687428096000
18	6402373705728000
19	121645100408832000
20	2432902008176640000
21	51 090 942 171 709 440 000
22	1 124 000 727 777 607 700 000

Факториал активно используется в различных разделах математики: комбинаторике, математическом анализе, теории чисел, функциональном анализе и др.

Факториал является чрезвычайно быстро растущей функцией. Он растёт быстрее, чем любая показательная функция или любая степенная функция, а также быстрее, чем любая сумма произведений этих функций. Однако степенно-показательная функция $n^{n}$ растёт быстрее факториала, так же как и большинство двойных степенных, например $e^{e^{n}}$ .

Свойства

Рекуррентная формула

Факториал может быть задан следующей рекуррентной формулой:

n!={\begin{cases}1&n=0,\\n\cdot (n-1)!&n>0.\end{cases}}

Комбинаторная интерпретация

В комбинаторике факториал натурального числа n интерпретируется как количество перестановок (упорядочиваний) множества из n элементов.

Например, для множества {A,B,C,D} из 4-х элементов существует 4! = 24 перестановки:

ABCD  BACD  CABD  DABC
ABDC  BADC  CADB  DACB
ACBD  BCAD  CBAD  DBAC
ACDB  BCDA  CBDA  DBCA
ADBC  BDAC  CDAB  DCAB
ADCB  BDCA  CDBA  DCBA

Комбинаторная интерпретация факториала подтверждает целесообразность соглашения $0!=1$ — количество перестановок пустого множества равно единице. Кроме того, формула для числа размещений из $n$ элементов по $m$

A_{n}^{m}={\frac {n!}{(n-m)!}}

при $n=m$ обращается в формулу для числа перестановок из $n$ элементов (порядка $n$ ), которое равно $n!$ .

Связь с гамма-функцией

Факториал связан с гамма-функцией от целочисленного аргумента соотношением

n!=\Gamma (n+1)

.

Это же выражение используют для обобщения понятия факториала на множество вещественных чисел. Используя аналитическое продолжение гамма-функции, область определения факториала также расширяют на всю комплексную плоскость, исключая особые точки при $n=-1,-2,-3\ldots$ .

Непосредственным обобщением факториала на множества вещественных и комплексных чисел служит пи-функция $\Pi (z)=\Gamma (z+1)$ , которая при $\mathrm {Re} (z)>-1$ может быть определена как

\Pi (z)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t

(интегральное определение).

Пи-функция натурального числа или нуля совпадает с его факториалом: $\Pi (n)=n!$ . Как и факториал, пи-функция удовлетворяет рекуррентному соотношению $\Pi (z)=z\Pi (z-1)$ .

Формула Стирлинга

Формула Стирлинга — асимптотическая формула для вычисления факториала:

n!={\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}-{\frac {139}{51840n^{3}}}-{\frac {571}{2488320n^{4}}}+{\frac {163879}{209018880n^{5}}}+{\frac {5246819}{75246796800n^{6}}}+O\left(n^{-7}\right)\right),

см. O-большое^[1].

Во многих случаях для приближённого вычисления факториала достаточно рассматривать только главный член формулы Стирлинга:

n!\approx {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}.

При этом можно утверждать, что

{\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}e^{1/(12n+1)}<n!<{\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}e^{1/(12n)}.

Формула Стирлинга позволяет получить приближённые значения факториалов больших чисел без непосредственного перемножения последовательности натуральных чисел. Например, с помощью формулы Стирлинга легко подсчитать, что:

100! ≈ 9,33×10¹⁵⁷
1000! ≈ 4,02×10²⁵⁶⁷
10 000! ≈ 2,85×10^35 659

Разложение на простые множители

Каждое простое число p входит в разложение n! на простые множители в степени определяемой следующей формулой:

\left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\ldots .

Таким образом,

n!=\prod _{p}p^{\lfloor {\frac {n}{p}}\rfloor +\lfloor {\frac {n}{p^{2}}}\rfloor +\ldots },

где произведение берётся по всем простым числам. Можно заметить, что для всякого простого p большего n соответствующий множитель в произведении равен 1; следовательно, произведение можно брать лишь по простым p, не превосходящим n.

Связь с производной от степенной функции

Для целого неотрицательного числа n:

\left(x^{n}\right)^{(n)}=n!

Например:

\left(x^{5}\right)^{(5)}=\left(5\cdot x^{4}\right)^{(4)}=\left(5\cdot 4\cdot x^{3}\right)'''=\left(5\cdot 4\cdot 3\cdot x^{2}\right)''=\left(5\cdot 4\cdot 3\cdot 2\cdot x\right)'={5\cdot 4\cdot 3\cdot 2\cdot 1}=5!

Другие свойства

Для натурального числа

n

:

n!^{2}\geqslant n^{n}\geqslant n!\geqslant n

Для любого

n>1

:

n!

не является квадратом целого числа;

Для любого

n>4

:

n!

оканчивается на 0;

Для любого

n>9

:

n!

оканчивается на 00.

Если

n

простое число:

(n-1)!+1

делится на

n

(теорема Вильсона)

История

Факториальные выражения появились ещё в ранних исследованиях по комбинаторике, хотя компактное обозначение $n!$ предложил французский математик Кристиан Крамп только в 1808 году^[2]. Важным этапом стало открытие формулы Стирлинга, которую Джеймс Стирлинг опубликовал в своём трактате «Дифференциальный метод» (лат. Methodus differentialis, 1730 год). Немного ранее почти такую же формулу опубликовал друг Стирлинга Абрахам де Муавр, но в менее завершённом виде (вместо коэффициента ${\sqrt {2\pi }}$ была неопределённая константа)^[3].

Стирлинг подробно исследовал свойства факториала, вплоть до выяснения вопроса о том, нельзя ли распространить это понятие на произвольные вещественные числа. Он описал несколько возможных путей к реализации этой идеи и высказал мнение, что:

\left({1 \over 2}\right)!={\frac {\sqrt {\pi }}{2}}

Стирлинг не знал, что годом ранее решение проблемы уже нашёл Леонард Эйлер. В письме к Кристиану Гольдбаху Эйлер описал требуемое обобщение^[4]:

x!=\lim _{m\to \infty }{\frac {m^{x}m!}{(x+1)(x+2)\dots (x+m)}}

Развивая эту идею, Эйлер в следующем, 1730 году, ввёл понятие гамма-функции в виде классического интеграла. Эти результаты он опубликовал в журнале Петербургской академии наук в 1729—1730 годах.

Обобщения

Двойной факториал

Двойной факториал числа n обозначается n‼ и определяется как произведение всех натуральных чисел в отрезке [1,n], имеющих ту же чётность, что и n.

Для чётного n:

n!!=2\cdot 4\cdot 6\cdot \ldots \cdot n=\prod _{i=1}^{\frac {n}{2}}2i=2^{{\color {white}1}^{\!\!\!\!{\frac {n}{2}}}}\cdot \left({\frac {n}{2}}\right)!

Для нечётного n:

n!!={1\cdot 3\cdot 5\cdot \ldots \cdot n}=\prod _{i=0}^{\frac {n-1}{2}}(2i+1)={\frac {n!}{2^{{\color {white}1}^{\!\!\!\!{\frac {n-1}{2}}}}\cdot \left({\frac {n-1}{2}}\right)!}}

Связь между двойными факториалами двух соседних целых неотрицательных чисел и обычным факториалом одного из них.

n!!={\frac {n!}{(n-1)!!}}

Вывод формул

Формула для чётного n:

n!!=2^{{\color {white}1}^{\!\!\!\!{\frac {n}{2}}}}\cdot \left({\frac {n}{2}}\right)!

Выведение формулы: ${\begin{aligned}n!!&={\color {Gray}\underbrace {\color {Black}2\cdot 4\cdot 6\cdot \ldots \cdot n} _{\color {Black}{\tfrac {n}{2}}}}={\color {Gray}\underbrace {\color {OliveGreen}2\cdot 2\cdot 2\cdot \ldots \cdot 2} _{\color {Black}{\tfrac {n}{2}}}}\;\cdot \;{\frac {\;2\cdot 4\cdot 6\cdot \ldots \cdot n\;}{\color {Gray}\underbrace {\color {OliveGreen}2\cdot 2\cdot 2\cdot \ldots \cdot 2} _{\color {Black}{\tfrac {n}{2}}}}}=\\&={2^{{\color {white}1}^{\!\!\!\!{\frac {n}{2}}}}\cdot \left(1\cdot 2\cdot 3\cdot \ldots \cdot {\frac {n}{2}}\right)}=2^{{\color {white}1}^{\!\!\!\!{\frac {n}{2}}}}\cdot \left({\frac {n}{2}}\right)!\end{aligned}}$

Пример, иллюстрирующий использованное выше выведение формулы:

{\begin{aligned}14!!&=2^{\frac {14}{2}}\cdot \left({\frac {14}{2}}\right)!=2^{7}\cdot 7!=\\&=(2\cdot 2\cdot 2\cdot 2\cdot 2\cdot 2\cdot 2)\cdot (1\cdot 2\cdot 3\cdot 4\cdot 5\cdot 6\cdot 7)=\\&=(2\cdot 1)(2\cdot 2)(2\cdot 3)(2\cdot 4)(2\cdot 5)(2\cdot 6)(2\cdot 7)=\\&=2\cdot 4\cdot 6\cdot 8\cdot 10\cdot 12\cdot 14=645120\end{aligned}}

Формула для нечётного n:

n!!={\frac {n!}{2^{{\color {white}1}^{\!\!\!\!{\frac {n-1}{2}}}}\cdot \left({\frac {n-1}{2}}\right)!}}

Выведение формулы: ${\begin{aligned}n!!&={\color {Gray}\underbrace {\color {Black}1\cdot 3\cdot 5\cdot \ldots \cdot n} _{\color {Black}{\frac {n+1}{2}}}}={\frac {{\color {Gray}\overbrace {\color {OliveGreen}2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)} ^{\color {Black}{\frac {n-1}{2}}}}\cdot {\color {Gray}\overbrace {\color {Black}1\cdot 3\cdot 5\cdot 7\cdot \ldots \cdot (n-2)\cdot n} ^{\color {Black}{\frac {n+1}{2}}}}}{\color {Gray}\underbrace {\color {OliveGreen}2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)} _{\color {Black}{\frac {n-1}{2}}}}}=\\&={\frac {\color {Gray}\overbrace {\color {Black}1\cdot {\color {OliveGreen}2}\cdot 3\cdot {\color {OliveGreen}4}\cdot 5\cdot {\color {OliveGreen}6}\cdot 7\cdot \ldots \cdot (n-2)\cdot {\color {OliveGreen}(n-1)}\cdot n} ^{\color {Black}n}}{\color {Gray}\underbrace {\color {OliveGreen}2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)} _{\color {Black}{\frac {n-1}{2}}}}}={\frac {n!}{\color {Gray}\underbrace {\color {Black}2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)} _{\color {Black}{\frac {n-1}{2}}}}}={\frac {n!}{(n-1)!!}}\end{aligned}}$ Таким образом можно показать связь между двойными факториалами двух соседних неотрицательных целых чисел через обычный факториал одного из них. Далее продолжим выведение формулы для двойного факториала нечётного n. Вернёмся на шаг назад (до возникновения в явном виде (n-1)!!) и осуществим некоторые тождественные алгебраические преобразования над знаменателем: ${\begin{aligned}&{\color {Gray}\underbrace {\color {Black}2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)} _{\color {Black}{\frac {n-1}{2}}}}={\color {Gray}\underbrace {\color {OliveGreen}2\cdot 2\cdot 2\cdot \ldots \cdot 2} _{\color {Black}{\tfrac {n-1}{2}}}}\;\cdot \;{\frac {\;2\cdot 4\cdot 6\cdot \ldots \cdot (n-1)\;}{\color {Gray}\underbrace {\color {OliveGreen}2\cdot 2\cdot 2\cdot \ldots \cdot 2} _{\color {Black}{\tfrac {n-1}{2}}}}}=\\&={2^{{\color {white}1}^{\!\!\!\!{\frac {n-1}{2}}}}\cdot \left(1\cdot 2\cdot 3\cdot \ldots \cdot {\frac {n-1}{2}}\right)}=2^{{\color {white}1}^{\!\!\!\!{\frac {n-1}{2}}}}\cdot \left({\frac {n-1}{2}}\right)!\end{aligned}}$ Подставим полученное выражение для знаменателя обратно в формулу для $n!!$ : $n!!={\frac {n!}{2^{{\color {white}1}^{\!\!\!\!{\frac {n-1}{2}}}}\cdot \left({\frac {n-1}{2}}\right)!}}$

Пример, иллюстрирующий использованное выше выведение формулы:

{\begin{aligned}15!!&={\frac {15!}{2^{{\color {white}1}^{\!\!\!\!{\frac {15-1}{2}}}}\cdot \left({\frac {15-1}{2}}\right)!}}={\frac {15!}{2^{{\color {white}1}^{\!\!\!7}}\cdot 7!}}=\\&={\color {white}\overbrace {\color {Black}{\frac {1\cdot 2\cdot 3\cdot 4\cdot 5\cdot 6\cdot 7\cdot 8\cdot 9\cdot 10\cdot 11\cdot 12\cdot 13\cdot 14\cdot 15}{(2\cdot 2\cdot 2\cdot 2\cdot 2\cdot 2\cdot 2)\cdot (1\cdot 2\cdot 3\cdot 4\cdot 5\cdot 6\cdot 7)}}} }=\\&={\color {white}\overbrace {\color {Black}{\frac {1\cdot 2\cdot 3\cdot 4\cdot 5\cdot 6\cdot 7\cdot 8\cdot 9\cdot 10\cdot 11\cdot 12\cdot 13\cdot 14\cdot 15}{(2\cdot 1)(2\cdot 2)(2\cdot 3)(2\cdot 4)(2\cdot 5)(2\cdot 6)(2\cdot 7)}}} }=\\&={\color {white}\overbrace {\color {Black}{\frac {1\cdot {\color {OliveGreen}2}\cdot 3\cdot {\color {OliveGreen}4}\cdot 5\cdot {\color {OliveGreen}6}\cdot 7\cdot {\color {OliveGreen}8}\cdot 9\cdot {\color {OliveGreen}10}\cdot 11\cdot {\color {OliveGreen}12}\cdot 13\cdot {\color {OliveGreen}14}\cdot 15}{\color {OliveGreen}2\cdot 4\cdot 6\cdot 8\cdot 10\cdot 12\cdot 14}}} }=\\&={\color {white}\overbrace {\color {Black}1\cdot 3\cdot 5\cdot 7\cdot 9\cdot 11\cdot 13\cdot 15} }=2027025\end{aligned}}

Осуществив замену $n=2k$ для чётного n и $n=2k+1$ для нечётного n соответственно, где $k$ — целое неотрицательное число, получим:

для чётного числа:

(2k)!!=2\cdot 4\cdot 6\cdot \ldots \cdot 2k=\prod _{i=1}^{k}2i=2^{k}\cdot k!

для нечётного числа:

(2k+1)!!=1\cdot 3\cdot 5\cdot \ldots \cdot (2k+1)=\prod _{i=0}^{k}(2i+1)={\frac {(2k+1)!}{2^{k}\cdot k!}}

По договорённости: $0!!=1$ . Также это равенство выполняется естественным образом:

0!!=2^{0}\cdot 0!=1\cdot 1=1

Двойной факториал, так же, как и обычный факториал, определён только для целых неотрицательных чисел.

Последовательность значений n!! начинается так^[5]:

1, 1, 2, 3, 8, 15, 48, 105, 384, 945, 3840, 10 395, 46 080, 135 135, 645 120, 2 027 025, 10 321 920, 34 459 425, 185 794 560, 654 729 075, 3 715 891 200, 13 749 310 575, 81 749 606 400, 316 234 143 225, 1 961 990 553 600, 7 905 853 580 625, 51 011 754 393 600, …

Кратный факториал

m-кратный факториал числа n обозначается $\textstyle n\underbrace {!!\ldots !} _{m}$ и определяется следующим образом. Пусть число n представимо в виде $n=mk-r,$ где $k\in \mathbb {Z} ,$ $r\in \{0,1,\ldots ,m-1\}.$ Тогда^[6]

n\underbrace {!!\ldots !} _{m}=\prod _{i=1}^{k}(mi-r)

Обычный и двойной факториалы являются частными случаями m-кратного факториала для m = 1 и m = 2 соответственно.

Кратный факториал связан с гамма-функцией следующим соотношением^[7]:

n\underbrace {!!\ldots !} _{m}=\prod _{i=1}^{k}(mi-r)=m^{k}\cdot {\frac {\Gamma \left(k-{\frac {r}{m}}+1\right)}{\Gamma \left(1-{\frac {r}{m}}\right)}}.

Также кратный факториал $\textstyle n\underbrace {!!\ldots !} _{m}$ возможно записывать в сокращенном виде $n!_{(m)}$ .

Неполный факториал

Убывающий факториал

Убывающим факториалом называется выражение

(n)_{k}=n^{\underline {k}}=n^{[k]}=n\cdot (n-1)\cdot \ldots \cdot (n-k+1)={\frac {n!}{(n-k)!}}=\prod _{i=n-k+1}^{n}i

.

Например:

n = 7; k = 4,

(n − k) + 1 = 4,

n^k = 7 • 6 • 5 • 4 = 840.

Убывающий факториал даёт число размещений из n по k.

Возрастающий факториал

Возрастающим факториалом называется выражение

n^{(k)}=n^{\overline {k}}=n\cdot (n+1)\cdot \ldots \cdot (n+k-1)={\frac {(n+k-1)!}{(n-1)!}}=\prod _{i=n}^{(n+k)-1}i.

Праймориал или примориал

Праймориал или примориал (англ. primorial) числа n обозначается p_n# и определяется как произведение n первых простых чисел. Например,

p_{5}\#=2\times 3\times 5\times 7\times 11=2310

.

Иногда праймориалом называют число $n\#$ , определяемое как произведение всех простых чисел, не превышающих заданное n.

Последовательность праймориалов (включая ${\textstyle {1\#\equiv 1}}$ ) начинается так^[8]:

1, 2, 6, 30, 210, 2310, 30 030, 510 510, 9 699 690, 223 092 870, 6 469 693 230, 200 560 490 130, 7 420 738 134 810, 304 250 263 527 210, 13 082 761 331 670 030, 614 889 782 588 491 400, 32 589 158 477 190 046 000, 1 922 760 350 154 212 800 000, …

Фибонориал или фибоначчиал

Произведение нескольких первых чисел Фибоначчи. Записывается n!_F.

Например, : 6!_F = $1\times 1\times 2\times 3\times 5\times 8=240$ .

Суперфакториалы

Нейл Слоан и Симон Плуффэ^[англ.] в 1995 году определили суперфакториал как произведение первых n факториалов. Согласно этому определению, суперфакториал четырёх равен

\operatorname {sf} (4)=1!\times 2!\times 3!\times 4!=288

(поскольку устоявшегося обозначения нет, используется функциональное).

В общем

\operatorname {sf} (n)=\prod _{k=1}^{n}k!=\prod _{k=1}^{n}k^{n-k+1}=1^{n}\cdot 2^{n-1}\cdot 3^{n-2}\cdots (n-1)^{2}\cdot n^{1}.

Последовательность суперфакториалов чисел $n\geqslant 0$ начинается так^[9]:

1, 1, 2, 12, 288, 34 560, 24 883 200, 125 411 328 000, 5 056 584 744 960 000, 1 834 933 472 251 084 800 000, 6 658 606 584 104 737 000 000 000 000, 265 790 267 296 391 960 000 000 000 000 000 000, 127 313 963 299 399 430 000 000 000 000 000 000 000 000 000, …

Идея была обобщена в 2000 году Генри Боттомли^[англ.], что привело к гиперфакториалам (англ. Hyperfactorial), которые являются произведением первых n суперфакториалов. Последовательность гиперфакториалов чисел $n\geqslant 0$ начинается так^[10]:

1, 1, 2, 24, 6912, 238 878 720, 5 944 066 965 504 000, 745 453 331 864 786 800 000 000 000, 3 769 447 945 987 085 600 000 000 000 000 000 000 000 000, 6 916 686 207 999 801 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000, …

Продолжая рекуррентно, можно определить факториал кратного уровня, или m-уровневый факториал числа n, как произведение (m − 1)-уровневых факториалов чисел от 1 до n, то есть

\operatorname {mf} (n,m)=\operatorname {mf} (n-1,m)\operatorname {mf} (n,m-1)=\prod _{k=1}^{n}k^{n-k+m-1 \choose n-k},

где $\operatorname {mf} (n,0)=n$ для $n>0$ и $\operatorname {mf} (0,m)=1.$

Субфакториал

Субфакториал !n определяется как количество беспорядков порядка n, то есть перестановок n-элементного множества без неподвижных точек.

См. также

В Викисловаре есть статья «факториал»

Имеется викиучебник по теме «Реализации алгоритмов/Факториал»

Примечания

↑ Коэффициенты этого разложения дают последовательности A001163 (числители) и A001164 (знаменатели)
↑ Крамп, Кристиан (неопр.). Дата обращения: 19 сентября 2016. Архивировано 19 сентября 2016 года.
↑ Pearson, Karl (1924), "Historical note on the origin of the normal curve of errors", Biometrika, 16: 402–404 [p. 403], doi:10.2307/2331714: «Стирлинг лишь показал, что арифметическая константа в формуле Муавра равна ${\sqrt {2\pi }}$ . Я считаю, что это не делает его автором теоремы»
↑ Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. — М.: Мир, 1976. — С. 79—81. — 736 с.
↑ Последовательность A006882 в OEIS
↑ «Энциклопедия для детей» Аванта+. Математика.
↑ wolframalpha.com Архивная копия от 1 ноября 2013 на Wayback Machine.
↑ Последовательность A002110 в OEIS
↑ Последовательность A000178 в OEIS
↑ Последовательность A055462 в OEIS

[1] Коэффициенты этого разложения дают последовательности A001163 (числители) и A001164 (знаменатели)

[2] Крамп, Кристиан (неопр.). Дата обращения: 19 сентября 2016. Архивировано 19 сентября 2016 года.

[3] Pearson, Karl (1924), "Historical note on the origin of the normal curve of errors", Biometrika, 16: 402–404 [p. 403], doi:10.2307/2331714: «Стирлинг лишь показал, что арифметическая константа в формуле Муавра равна ${\sqrt {2\pi }}$ . Я считаю, что это не делает его автором теоремы»

[4] Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. — М.: Мир, 1976. — С. 79—81. — 736 с.

[5] Последовательность A006882 в OEIS

[avantaplus-6] «Энциклопедия для детей» Аванта+. Математика.

[prooflink-7] wolframalpha.com Архивная копия от 1 ноября 2013 на Wayback Machine.

[8] Последовательность A002110 в OEIS

[9] Последовательность A000178 в OEIS

[10] Последовательность A055462 в OEIS

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Последовательности и ряды
Последовательности	Числовая последовательность Фундаментальная последовательность Линейная рекуррентная последовательность Числа Фибоначчи Фигурные числа Факториал (Праймориал * Символ Похгаммера * Субфакториал) Последовательность Баркера Последовательность де Брёйна
Ряды, основное	Сумма ряда Остаток ряда Условная сходимость Знакочередующийся ряд Мультисекция ряда
Числовые ряды (действия с числовыми рядами)	Гармонический ряд Ряд Лейбница Ряд обратных квадратов Ряд обратных простых чисел Ряд Дирихле Ряд Меркатора Ряд Гранди 1 − 2 + 3 − 4 + … 1 + 2 + 3 + 4 + …
Функциональные ряды	Ряд Тейлора Ряд Лорана Ряд Фурье Тригонометрический ряд Фурье Тригонометрический ряд Ряд Винера
Другие виды рядов	Ряд Неймана Ряд Пюизё

Факториал

Содержание

Свойства

Рекуррентная формула

Комбинаторная интерпретация

Связь с гамма-функцией

Формула Стирлинга

Разложение на простые множители

Связь с производной от степенной функции

Другие свойства

История

Обобщения

Двойной факториал

Кратный факториал

Неполный факториал

Убывающий факториал

Возрастающий факториал

Праймориал или примориал

Фибонориал или фибоначчиал

Суперфакториалы

Субфакториал

См. также

Примечания

Навигация

Факториал

Свойства

Рекуррентная формула

Комбинаторная интерпретация

Связь с гамма-функцией

Формула Стирлинга

Разложение на простые множители

Связь с производной от степенной функции

Другие свойства

История

Обобщения

Двойной факториал

Кратный факториал

Неполный факториал

Убывающий факториал

Возрастающий факториал

Праймориал или примориал

Фибонориал или фибоначчиал

Суперфакториалы

Субфакториал

См. также

Примечания

Навигация

Поиск