阶乘

在数学中，正整数的阶乘（英语：factorial）是所有小于等于该数的正整数的积，记为${\displaystyle n!}$，例如5的阶乘表示为${\displaystyle 5!}$，其值为120：

${\displaystyle 5!={{{{{5}\times {4}}\times {3}}\times {2}}\times {1}}=120}$

并定义，1的阶乘${\displaystyle 1!}$和0的阶乘${\displaystyle 0!}$都为1，其中0的阶乘表示一个空积^[2]。

1808年，基斯顿·卡曼引进这个表示法：${\displaystyle n!=\prod _{k=1}^{n}k\quad \forall n\geq 1}$，符号${\displaystyle \Pi }$表示连续乘积，亦即${\displaystyle n!=1\times 2\times 3\times \cdots \times n}$。阶乘亦可以递归方式定义：${\displaystyle 0!=1}$，${\displaystyle n!=(n-1)!\times n}$。除了自然数之外，阶乘亦可定义于整个实数（负整数除外），其与伽玛函数的关系为：

${\displaystyle z!=\Gamma (z+1)=\int _{0}^{\infty }t^{z}e^{-t}\,dt}$

阶乘应用在许多数学领域中，最常应用在组合数学、代数学和数学分析中。在组合数学中，阶乘代表的意义为${\displaystyle n}$个相异对象任意排列的数量，例如前述例子，${\displaystyle 5!=120}$其代表了5个相异对象共有120种排列法。在正整数的情形下，${\displaystyle n}$的阶乘又可以称为n的排列数。

早在12世纪，印度学者就已有使用阶乘的概念来计算排列数的纪录^[3]。1677年时，法比安·斯特德曼使用Change ringing（英语：Change ringing）来解释阶乘的概念^[5]。在描述递归方法之后，斯特德将阶乘描述为：“现在这些方法的本质是这样的：一个数字的变化数包含了所有比他小的数字（包括本身）的所有变化数……因为一个数字的完全变化数是将较小数字的变化数视为一个整体，并透过将所有数字的完整变化联合起来。”，其原文如下：

Now the nature of these methods is such, that the changes on one number comprehends [includes] the changes on all lesser numbers ... insomuch that a compleat Peal of changes on one number seemeth to be formed by uniting of the compleat Peals on all lesser numbers into one entire body.^[6]

而符号n!是由法国数学家克里斯蒂安·克兰普在1808年使用^[8]。

阶乘可透过连乘积来定义：

${\displaystyle n!=1\cdot 2\cdot 3\cdots (n-2)\cdot (n-1)\cdot n,}$

用连乘积符号可表示为：

${\displaystyle n!=\prod _{i=1}^{n}i.\quad \forall n\geq 1}$

从上述公式中，可以推导出递推关系式：

${\displaystyle n!=n\cdot (n-1)!}$

但递归定义须给出起点，因此需要定义零的阶乘。 除此之外，递推关系在阶乘函数中各个值皆成立，例如：

${\displaystyle {\begin{aligned}5!&=5\cdot 4!\\6!&=6\cdot 5!\\50!&=50\cdot 49!\end{aligned}}}$

为了将递推关系式扩展到${\displaystyle n=0}$，因此需要定义0的阶乘：

${\displaystyle 0!=1}$

可以得到：

${\displaystyle 1!=1\cdot 0!=1}$

有几个独立的理由认为这个定义是和谐的。 其中包括：

• 在${\displaystyle n=0}$的情况，${\displaystyle n!}$定义为“没有任何数字相乘的结果”，所以更广泛之惯例的例子是以不存在任何约数的乘法单位元来当作其解。（参阅空积）
• 对于零个物品只有一种排列方式，因为没有任何东西可以置换，唯一的重新排列就是什么都不做。
• 它使组合数学中的许多恒等式对所有适用的值皆有效，例如从空集合中选择0个元素的方法数，可由二项式系数给出：

${\displaystyle {\binom {0}{0}}=1}$.

而从空集合中选择0个元素的方法数为一种，即没有任何东西可以取，唯一的取法就是什么都不做。定义${\displaystyle 0!=1}$可以满足：

${\displaystyle {\binom {0}{0}}={\frac {0!}{0!0!}}=1}$.

更一般地，在${\displaystyle n}$个相异元素的集合中取出${\displaystyle n}$个相异元素的方法数，可由二项式系数给出：

${\displaystyle {\binom {n}{n}}=1}$.

其方法数只有一种，即全部取出。定义${\displaystyle 0!=1}$可以满足：

${\displaystyle {\binom {n}{n}}={\frac {n!}{n!0!}}=1}$

• 此定义允许将许多公式更严谨地表达为幂级数，例如指数函数：

${\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}.}$

${\displaystyle n!}$可素因子分解为${\displaystyle \prod _{p\leq n}p^{\sum _{r=1}^{n}[{\frac {n}{p^{r}}}]}}$，如${\displaystyle 6!=2^{4}\times 3^{2}\times 5^{1}}$。^[9]

计算${\displaystyle n!}$时，若${\displaystyle n}$不太大，普通的科学计算机都可以计算，能够处理不超过${\displaystyle 10^{100}}$（古高尔）数值的计算机可以计算至${\displaystyle 69!}$，而双精度浮点数的计算机则可计算至${\displaystyle 170!}$。

当${\displaystyle n}$很大时，可用斯特林公式估计： ${\displaystyle n!\approx {\sqrt {2\pi n}}\;\left({\frac {n}{e}}\right)^{n}}$
更精确的估计是： ${\displaystyle n!={\sqrt {2\pi n}}\;\left({\frac {n}{e}}\right)^{n}e^{\lambda _{n}}}$
其中 ${\displaystyle {\frac {1}{12n+1}}<\lambda _{n}<{\frac {1}{12n}}}$

部分的阶乘值（OEIS数列A000142）

n	n!
0	1
1	1
2	2
3	6
4	24
5	120
6	720
7	7003504000000000000♠5040
8	7004403200000000000♠40320
9	7005362880000000000♠362880
10	7006362880000000000♠3628800
11	7007399168000000000♠39916800
12	7008479001600000000♠479001600
13	7009622702080000000♠6227020800
14	7010871782912000000♠87178291200
15	7012130767436800000♠1307674368000
16	7013209227898880000♠20922789888000
17	7014355687428096000♠355687428096000
18	7015640237370572800♠6402373705728000
19	7017121645100408832♠121645100408832000
20	7018243290200817664♠2432902008176640000
25	7025155112100433310♠1.5511210043331×1025
50	7064304140932017130♠3.0414093201713×1064
70	7100119785716699700♠1.197857166997×10100
100	7157933262154400000♠9.332621544×10157
450	9000000000000000000♠1.733368733×101000
7003100000000000000♠1000	9000000000000000000♠4.023872601×102567
7003324900000000000♠3249	9000000000000000000♠6.412337688×1010000
7004100000000000000♠10000	9000000000000000000♠2.846259681×1035659
7004252060000000000♠25206	9000000000000000000♠1.205703438×10100000
7005100000000000000♠100000	9000000000000000000♠2.824229408×10456573
7005205023000000000♠205023	9000000000000000000♠2.503898932×101000004
7006100000000000000♠1000000	9000000000000000000♠8.263931688×105565708
7100100000000000000♠10100	1010101.9981097754820

阶乘原始的定义是在整数，为离散，然而在部分领域如概率论要探讨到连续或其他需求（如组合数当取出的数量大于原有的数量会出现负阶乘）时，则需要将阶乘从正整数推广到实数，甚至是复数。

除了非负整数之外，还可以为非整数值定义阶乘函数，但这需要使用更高级的数值分析方法。

可以透过插值的方式将阶乘两整数之间填入数值，但其插入的数值必须也要满足阶乘的递归定义。一个良好的插值结果是${\displaystyle \Gamma }$函数，其为所有非负整数和复数给出了定义，而当${\displaystyle z}$的实部为正时，可以透过下列瑕积分来计算${\displaystyle \Gamma }$函数值：

${\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}e^{-t}\,dt\,.}$

它与阶乘的关系是对于任何自然数n满足：

${\displaystyle n!=\Gamma (n+1)\,.}$

另外，我们也可利用此式以计算任意大于-1的实数的阶乘：

${\displaystyle x!=\lim _{N\to \infty }N^{x}\prod _{k=1}^{N}{\frac {k}{x+k}}=\int _{0}^{1}(-\ln {(t)})^{x}\,dt\,.}$

可以透过${\displaystyle \Gamma }$函数来计算复数的阶乘。右图显示了复数阶乘之模与辐角的等值线

令${\displaystyle f}$为：

${\displaystyle f=\rho e^{i\varphi }=(x+{\rm {i}}y)!=\Gamma (x+iy+1)}$

右图显示了几个模（绝对值）${\displaystyle \rho }$与辐角${\displaystyle \varphi }$的几个等级，图表的绘制范围为${\displaystyle -3\leq x\leq 3}$, ${\displaystyle -2\leq y\leq 2}$个单位长。较粗的铅直线为辐角值为${\displaystyle \varphi =\pm \pi }$的等值线。

细线表示模或辐角相等之函数值的位置。在每个负整数的位置为奇点，无法定义其模和辐角，并且在离奇点越近的地方，等值线的密度就越密集。

在|z| < 1时，可使用泰勒级数来计算：

${\displaystyle {\begin{aligned}z!&=\sum _{n=0}^{\infty }g_{n}z^{n}\,\\&=1-\gamma z+{\frac {1}{2!}}\left(\gamma ^{2}+{\frac {\pi ^{2}}{6}}\right)z^{2}-{\frac {1}{3!}}\left(\gamma ^{3}+{\frac {\pi ^{2}\gamma }{2}}+2\zeta (3)\right)z^{3}\\&+{\frac {1}{4!}}\left(\gamma ^{4}+\pi ^{2}\gamma ^{2}+{\frac {3\pi ^{4}}{20}}+8\zeta (3)\gamma \right)z^{4}-{\frac {1}{5!}}\left(\gamma ^{5}+{\frac {5\pi ^{2}\gamma ^{3}}{3}}+{\frac {3\pi ^{4}\gamma }{4}}+(20\gamma ^{2}+{\frac {10\pi ^{2}}{3}})\zeta (3)+24\zeta (5)\right)z^{5}+\cdots +{\frac {1}{n!}}\left(\int _{0}^{\infty }e^{-t}(\ln t)^{n}\,dt\right)z^{n}+\cdots \\&\approx 1-0.577215664z+0.989055995z^{2}-0.907479076z^{3}+0.981728086z^{4}-0.981995068z^{5}+\cdots \\\end{aligned}}}$

其中，γ为欧拉-马斯刻若尼常数、ζ(z)为黎曼ζ函数。部分计算机代数的系统存在可以直接产生这些展开式系数的语法。

z	z!
实数
1、2、3、4、5	1、2、6、24、120 （OEIS数列A000142）
${\displaystyle {\frac {1}{2}}}$	${\displaystyle {\frac {\sqrt {\pi }}{2}}\approx \,}$${\displaystyle 0.88622692545276}$ （OEIS数列A019704）
复数
${\displaystyle i}$	${\displaystyle 0.49801566811836-0.15494982830181i}$ （OEIS数列A212877）、（OEIS数列A212878）
${\displaystyle 2i}$	${\displaystyle 0.15190400267024+0.019804880162337i}$
${\displaystyle 1+i}$	${\displaystyle 0.65296549642017+0.34306583981655i}$
四元数
${\displaystyle j}$	${\displaystyle 0.49801566811836-0.15494982830181j}$
${\displaystyle k}$	${\displaystyle 0.49801566811836-0.15494982830181k}$
${\displaystyle 1+i+j}$	${\displaystyle 0.31694069797431-0.045151191260681i-0.045151191260681j}$

较大的阶乘值可透过双伽玛函数积分的连续分数来近似，这个方法由T. J. Stieltjes于1894提出。

将阶乘写为${\displaystyle z!=e^{P(z)}}$，其中${\displaystyle P(z)}$为：

${\displaystyle P(z)=p(z)+{\frac {\ln 2\pi }{2}}-z+\left(z+{\tfrac {1}{2}}\right)\ln(z)\,,}$

Stieltjes给出了其连分数值：

${\displaystyle p(z)={\cfrac {a_{0}}{z+{\cfrac {a_{1}}{z+{\cfrac {a_{2}}{z+{\cfrac {a_{3}}{z+\ddots }}}}}}}}}$

前几项系数${\displaystyle a_{n}}$为^[10]：

n	an
0	${\displaystyle {\frac {1}{12}}}$
1	${\displaystyle {\frac {1}{30}}}$
2	${\displaystyle {\frac {53}{210}}}$
3	${\displaystyle {\frac {195}{371}}}$
4	${\displaystyle {\frac {22999}{22737}}}$
5	${\displaystyle {\frac {29944523}{19733142}}}$
6	${\displaystyle {\frac {109535241009}{48264275462}}}$

负整数的阶乘可透过阶乘的递归定义${\displaystyle n!=n\times (n-1)!}$逆推而得：

${\displaystyle (n-1)!={\frac {n!}{n}}.}$

但由于在此定义下计算负一的阶乘会出现除以零（即${\displaystyle (0-1)!={\frac {0!}{0}}}$），因此无法直接给出负整数的阶乘。

透过伽玛函数或其展开式亦可以将阶乘扩展到其他能定义加法和乘法等基本运算的数学结构，如矩阵^[11]。

矩阵的阶乘具有如下性质：

${\displaystyle A!=\Gamma (A+I)=A\Gamma (A)=A(A-I)!}$。

并且${\displaystyle \Gamma (I)=I}$，其中，${\displaystyle I}$是单位矩阵、${\displaystyle A}$是一个方阵，同时${\displaystyle A!}$是一个非奇异矩阵^[12]。

换句话说，即矩阵${\displaystyle A}$为单位矩阵的标量${\displaystyle n}$倍，其阶乘为${\displaystyle A!=(nI)!=n!I}$，例如${\displaystyle {\bigl (}{\begin{smallmatrix}n&0\\0&n\end{smallmatrix}}{\bigr )}!=n!I={\bigl (}{\begin{smallmatrix}n!&0\\0&n!\end{smallmatrix}}{\bigr )}}$

对于一个可对角化矩阵${\displaystyle {\bigl (}{\begin{smallmatrix}a&b\\c&d\end{smallmatrix}}{\bigr )}}$其阶乘为：

${\displaystyle \left.{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\right.!=\Gamma \left({\bigl (}{\begin{smallmatrix}a+1&b\\c&d+1\end{smallmatrix}}{\bigr )}\right)={\frac {1}{2\Omega }}{\begin{pmatrix}\Gamma (\lambda _{1})\left(d-a+\Omega \right)+\Gamma (\lambda _{2})\left(a-d+\Omega \right)&-2b\left(\Gamma (\lambda _{1})-\Gamma (\lambda _{2})\right)\\-2c\left(\Gamma (\lambda _{1})-\Gamma (\lambda _{2})\right)&\Gamma (\lambda _{1})\left(a-d+\Omega \right)+\Gamma (\lambda _{2})\left(d-a+\Omega \right)\end{pmatrix}}}$^[12]

其中，${\displaystyle \lambda _{1}}$和${\displaystyle \lambda _{2}}$是${\displaystyle {\bigl (}{\begin{smallmatrix}a+1&b\\c&d+1\end{smallmatrix}}{\bigr )}}$的特征值，分别为${\displaystyle \lambda _{1}=1+{\begin{smallmatrix}{\frac {\left(a+d-\Omega \right)}{2}}\end{smallmatrix}}}$和${\displaystyle \lambda _{2}=1+{\begin{smallmatrix}{\frac {\left(a+d+\Omega \right)}{2}}\end{smallmatrix}}}$，其中，${\displaystyle \Omega ={\begin{smallmatrix}{\sqrt {(a-d)^{2}+4bc}}\end{smallmatrix}}}$^[12]

阶乘的定义可推广到复数，其与伽玛函数的关系为：

${\displaystyle z!=\Gamma (z+1)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t.\!}$。

伽玛函数满足${\displaystyle \Gamma (n+1)=(n)\Gamma (n)}$，

另一种定义扩展是阿达马伽玛函数，但由于其不在所有实数上皆能满足阶乘的递归定义，只有在正整数上满足阶乘的递归定义${\displaystyle n!=n\times (n-1)!}$因此比较少被拿出来讨论。

${\displaystyle H(x+1)=x\,H(x)+{\frac {1}{\Gamma (1-x)}}}$

其后面的项${\displaystyle {\frac {1}{\Gamma (1-x)}}}$只有在正整数的情形为零。也因为其有加上一项，也因此，此扩展在描述负阶乘时不会有除以零的情况，而使阿达马伽玛函数是一个处处连续、无奇点的函数。

• 递进阶乘：${\displaystyle (x)_{n}=x^{\overline {n}}=x(x+1)...(x+n-1)}$
• 递降阶乘：${\displaystyle x^{\underline {n}}=x(x-1)...(x-n+1)}$
• ${\displaystyle x^{\overline {n}}=(-1)^{n}(-x)^{\underline {n}}}$

正整数的双阶乘表示小于等于该数的所有具相同奇偶性的正整数的乘积，即：

${\displaystyle {\begin{cases}(2n-1)!!=1\times 3\times 5\times \cdots \times (2n-1)\\(2n)!!=2\times 4\times 6\times \cdots \times (2n)\end{cases}},n\in \mathbb {N} }$

无视上述定义的${\displaystyle n!!}$因为即使值的${\displaystyle N}$，双阶乘为奇数可扩展到最实数和复数${\displaystyle z}$的注意到，当${\displaystyle z}$是一个正的奇数则：

${\displaystyle z!!=z(z-2)\cdots (3)=2^{\frac {z-1}{2}}\left({\frac {z}{2}}\right)\left({\frac {z-2}{2}}\right)\cdots \left({\frac {3}{2}}\right)=2^{\frac {z-1}{2}}{\frac {\Gamma \left({\frac {z}{2}}+1\right)}{\Gamma \left({\frac {1}{2}}+1\right)}}={\sqrt {\frac {2^{z+1}}{\pi }}}\Gamma \left({\frac {z}{2}}+1\right)\,.}$

获得的表达接受一个以上公式${\displaystyle (2n+1)!!}$和${\displaystyle (2n-1)!!}$并表示在条件发生的阶乘函数的${\displaystyle \gamma }$既可以看出（使用乘法定理）等同于一个给定在这里。

${\displaystyle z!!}$定义为所有复数除负偶数。

比较上式与${\displaystyle (2n)!!}$的原始定义，广义的双阶乘在${\displaystyle (2n)!!}$的计算上须包含${\displaystyle 0!!}$，即

${\displaystyle (2n)!!=2n\times (2n-2)\times (2n-4)\times \cdots \times 4\times 2\times 0!!}$

其中 ${\displaystyle 0!!={\sqrt {\frac {2}{\pi }}}}$

使用它的定义，半径为${\displaystyle R}$的n维超球其体积可表示为：

${\displaystyle V_{n}={\frac {2(2\pi )^{\frac {n-1}{2}}}{n!!}}R^{n}.}$ n=1,3,5,...

${\displaystyle V_{n}={\frac {(\pi )^{\frac {n}{2}}}{{\frac {n}{2}}!}}R^{n}.}$ n=2,4,6,...

${\displaystyle n!^{(k)}}$被称为${\displaystyle n}$的${\displaystyle k}$重阶乘，定义为：

${\displaystyle n!^{(k)}=\left\{{\begin{matrix}1,\qquad \qquad \ &&{\mbox{if }}0\leq n<k;\\n(n-k)!^{(k)},&&{\mbox{if }}n\geq k.\quad \ \ \,\end{matrix}}\right.}$

能将多重阶乘推广到复数（甚至是四元数）

${\displaystyle z!^{(k)}=z(z-k)\cdots (k+1)=k^{\frac {z-1}{k}}\left({\frac {z}{k}}\right)\left({\frac {z-k}{k}}\right)\cdots \left({\frac {k+1}{k}}\right)=k^{\frac {z-1}{k}}{\frac {\Gamma \left({\frac {z}{k}}+1\right)}{\Gamma \left({\frac {1}{k}}+1\right)}}\,.}$

所谓的四次阶乘（又称四重阶乘） 不是 ${\displaystyle n!^{4}}$，而是 ${\displaystyle {\frac {(2n)!}{n!}}}$，前几个四次阶乘为

1, 2, 12, 120, 1680, 30240, 665280, ....

它也等于

${\displaystyle {\begin{aligned}2^{n}{\frac {(2n)!}{n!2^{n}}}&=2^{n}{\frac {(2\cdot 4\cdots 2n)[1\cdot 3\cdots (2n-1)]}{2\cdot 4\cdots 2n}}\\[8pt]&=(1\cdot 2)\cdot (3\cdot 2)\cdots [(2n-1)\cdot 2]=(4n-2)!^{(4)}.\end{aligned}}}$

hyperfactorial（有时译作过阶乘）写作${\displaystyle H(n)}$，其定义为：

${\displaystyle H(n)=\prod _{k=1}^{n}k^{k}=1^{1}\cdot 2^{2}\cdot 3^{3}\cdots (n-1)^{n-1}\cdot n^{n}}$

hyper阶乘和阶乘差不多，但产生更大的数。hyper阶乘的增长速度却并非跟一般阶乘在大小上相差很远。 前几项的hyper阶乘为：

1, 4, 108, 27648, 86400000, ... （OEIS数列A002109）

1995年，尼尔·斯洛恩和西蒙·普劳夫定义了超阶乘（superfactorial）为首${\displaystyle n}$个阶乘的积。即${\displaystyle \mathrm {sf} (n)=1!\times 2!\times 3!\times \cdots \times n!}$。一般来说

${\displaystyle \mathrm {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}.}$

前几项的超阶乘为：

1, 2, 12, 288, 34560, 24883200, ... （OEIS数列A000178）

柯利弗德·皮寇弗在他的书Key to Infinity定义了另一个超阶乘，写作${\displaystyle n\mathrm {S} \!\!\!\!\!\;\,{!}}$（ ${\displaystyle \mathrm {S} \!\!\!\!\!\;\,{!}}$为!和S重叠在一起）：${\displaystyle n\mathrm {S} \!\!\!\!\!\;\,{!}=n^{(4)}n}$^(4),表示hyper4，使用高德纳箭号表示法即${\displaystyle n\mathrm {S} \!\!\!\!\!\;\,{!}=(n!)\uparrow \uparrow (n!)}$。这个数列：

${\displaystyle 1\mathrm {S} \!\!\!\!\!\;\,{!}=1}$

${\displaystyle 2\mathrm {S} \!\!\!\!\!\;\,{!}=2^{2}=4}$

${\displaystyle 3\mathrm {S} \!\!\!\!\!\;\,{!}=6\uparrow \uparrow 6=6^{6^{6^{6^{6^{6}}}}}}$，读作6个6重幂。

${\displaystyle 4\mathrm {S} \!\!\!\!\!\;\,{!}=(4!)\uparrow \uparrow (4!)=24\uparrow \uparrow 24}$ = ${\displaystyle {\begin{matrix}{24_{}^{24^{{}^{.\,^{.\,^{.\,^{24}}}}}}}\\\end{matrix}}}$，一直写24个24，读作24个24重幂。

素数阶乘是所有小于或等于该数且大于或等于2的素数的积，自然数${\displaystyle n}$的素数阶乘，写作${\displaystyle n\#}$。

目前素数阶乘只能用递归方式定义，因为尚未找到一个能用基本函数表示所有素数的函数或一条包含所有素数的曲线

一般情况下素数阶乘定义为：

${\displaystyle n\#=\prod _{i=1}^{\pi (n)}p_{i}=p_{\pi (n)}\#}$

其中, ${\displaystyle \pi (n)}$是素数计数函数，小于或等于某个实数${\displaystyle n}$的素数的个数的函数${\displaystyle \leq n}$。

阶幂也称叠幂或者重幂记作${\displaystyle n^{!}}$（感叹号!写在自然数的右上角），它的定义是将自然数1至${\displaystyle n}$的数由大到小作幂指数重叠排列，数学定义如下：

${\displaystyle n^{!}=n^{{(n-1)}^{!}}=n_{}^{(n-1)^{{(n-2)}^{.\,^{.\,^{.\,^{{3}^{{2}^{1}}}}}}}}}$

其中${\displaystyle n\geq 1}$，前几项的重幂数为：

1 , 2 , 9 , 262144 , ... （OEIS数列A049384）

第5个重幂数是一个有183231位阿拉伯数字组成的超大自然数^[13][14]，其值约为${\displaystyle 6.20606987866\times 10^{183230}}$

另外一种定义则是每个阶幂都先取一次阶乘：

${\displaystyle n!^{{(n-1)!}^{!}}=n!_{}^{(n-1)!^{{(n-2)!}^{.\,^{.\,^{.\,^{{3!}^{{2!}^{1!}}}}}}}}}$

前几个阶乘阶幂为：

1, 2, 36, 48708493958471199415506599153950129703565945470976, ... （OEIS数列A073581）

第5个阶乘阶幂值已大于${\displaystyle 10^{10^{50}}}$^[15][16]，其值约为${\displaystyle 4.3056\times 10^{1.01274\times 10^{50}}\approx 10^{10^{50.00549705084703}}}$

二次阶幂：

${\displaystyle n^{!!}=n^{{!}^{2}}={n^{{!}{(n-1)^{{!}{{(n-2)}^{{!}{{.}^{{.}^{{.}^{3^{{!}{2^{{!}{1^{!}}}}}}}}}}}}}}}}$

前几个二次阶幂为：

1, 2, 81...

第4个阶乘阶幂值已大于${\displaystyle 10^{438}}$，其值约为${\displaystyle 7.975\times 10^{438}}$。

相应地，${\displaystyle m}$次阶幂定义如下：

${\displaystyle n^{{!}^{m}}=n^{{!}^{(m-1)}{(n-1)}^{!^{m}}}={n^{{!^{(m-1)}}{(n-1)^{{!^{(m-1)}}{{(n-2)}^{{!^{(m-1)}}{{.}^{{.}^{{.}^{3^{{!^{(m-1)}}{2^{{!^{(m-1)}}{1^{!^{(m-1)}}}}}}}}}}}}}}}}}$

其中${\displaystyle n}$，${\displaystyle m\geq 1}$，且${\displaystyle n,m\in Z}$。

倒数阶乘是指所有小于及等于该数的正整数之倒数的积，其值与阶乘的倒数相同：

${\displaystyle \prod _{k=1}^{n}{\frac {1}{k}}={\frac {1}{n!}}\quad \forall n\geq 1}$

其无穷级数收敛在e^[17]：

${\displaystyle \sum _{n=0}^{\infty }\prod _{k=1}^{n}{\frac {1}{k}}=e}$

考量阶乘可以表示为连续的伽玛函数，则有

${\displaystyle \int _{-1}^{\infty }{\frac {dx}{x!}}\,=\int _{0}^{\infty }{\frac {dx}{\Gamma (x)}}\,\approx 2.80777024,}$

这个值又称为弗朗桑－罗宾逊常数（英语：Fransén–Robinson_constant）。^[18]

反阶乘是阶乘的反函数，用于求解指定的数是哪个数的阶乘。例如120的反阶乘为5，因为5的阶乘为120。反阶乘可以透过泰勒级数或反伽玛函数来评估与计算。

反阶乘可以用了推算某个数大约是多少的阶乘。

由于阶乘与伽玛函数之间的关联，反阶乘也可以透过反伽玛函数近似公式来估计：

${\displaystyle \mathrm {ArcFactorial} \left(z\right)\approx -1+\alpha +{\sqrt {\frac {2\left(x-\Gamma \left(\alpha \right)\right)}{\Psi \left(1,\ \alpha \right)\Gamma \left(\alpha \right)}}}.}$

因此，反阶乘也可以写成如下的渐近分析形式：^[19]

${\displaystyle \mathrm {ArcFactorial} \left(x\right)\sim {\frac {\ln \left({\frac {x}{\sqrt {2\pi }}}\right)}{W_{0}\left(e^{-1}\ln \left({\frac {x}{\sqrt {2\pi }}}\right)\right)}}-{\frac {1}{2}}}$

其中${\displaystyle W_{0}(x)}$是朗伯W函数。这个公式是利用史特灵公式求逆得到的，因此也可以展开为渐近级数。

• 瑞士数学家欧拉（Euler, L.）于1751年用大写字母${\displaystyle M}$表示${\displaystyle m}$阶乘${\displaystyle M=1\cdot 2\cdot 3\cdot \cdots \cdot m}$。
• 意大利数学家鲁菲尼（Ruffini, P.）在1799年出版的方程著述中，用小写字母${\displaystyle \pi }$表示${\displaystyle m}$阶乘。
• 德国数学家高斯（Gauss, C.F）于1818年则用${\displaystyle \Pi (n)}$表示n阶乘。
• 用符号${\displaystyle {\underline {\mid n}}}$表示${\displaystyle n}$阶乘的方法起源于英国，尚不能确定其创始人，1827年，由雅来特（Jarrett）的建议得以流行，现代有时亦用此阶乘符号。
• 现在通用的阶乘符号${\displaystyle n!}$是法国数学家克拉姆（Kramp, C.）于1808年最先提出来的，后经德国数学家、物理学家格奥尔格·欧姆（Ohm, M.）等人的倡议而流行起来，直用到现在。

• 伽玛函数
• 斯特灵公式
• 阶乘倒数
• 排列组合
• 威尔逊定理