階乘

早在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 {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}}$ （橘色），數字越大${\displaystyle {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n},}$ 會越趨近${\displaystyle n!}$ 。但${\displaystyle {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}}$ 在負值則會因為出現虛數而無法使用。

計算${\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}}}$ 

階乘原始的定義是在整數，為離散，然而在部分領域如機率論要探討到連續或其他需求（如組合數當取出的數量大於原有的數量會出現負階乘）時，則需要將階乘從正整數推廣到實數，甚至是複數。

 

除了非負整數之外，還可以為非整數值定義階乘函數，但這需要使用更高級的數值分析方法。

可以透過插值的方式將階乘兩整數之間填入數值，但其插入的數值必須也要滿足階乘的遞迴定義。一個良好的插值結果是${\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.）等人的倡議而流行起來，直用到現在。

• 伽瑪函數
• 斯特靈公式
• 階乘倒數
• 排列組合
• 威爾遜定理