斯特林近似给出了阶乘函数 或伽玛函数
在
时的近似值。对于整数
,最简单的推导近似的方法是将阶乘项的总和用积分来近似,因此:
|
(1)
| |||
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
|
这个方程也可以使用阶乘的积分定义来推导:
|
(7)
|
注意,被积函数对数的导数可以写成
|
(8)
|
被积函数是尖峰的,其贡献仅在 附近重要。因此,设
其中
,并写成
|
(9)
| |||
|
(10)
|
现在,
|
(11)
| |||
|
(12)
| |||
|
(13)
|
因此
|
(14)
| |||
|
(15)
| |||
|
(16)
|
对两边取指数得到
|
(17)
| |||
|
(18)
|
代入 的积分表达式得到
|
(19)
| |||
|
(20)
|
计算积分得到
|
(21)
| |||
|
(22)
|
(Wells 1986,第 45 页)。对两边取对数得到
|
(23)
| |||
|
(24)
|
这是斯特林级数,仅保留了第一项,对于大的 ,它简化为斯特林近似
|
(25)
|
取 的连续项,其中
是向下取整函数,得到序列 1, 2, 4, 10, 26, 64, 163, 416, 1067, 2755, ... (OEIS A055775)。
斯特林近似可以扩展到双重不等式
|
(26)
|
(Robbins 1955, Feller 1968)。
Gosper 指出, 的一个更好的近似值(即,一个近似斯特林级数中的项而不是截断它们的近似值)由下式给出:
|
(27)
|
考虑到 是一个实数,使得
,方程 (27) 也给出了 0 的阶乘
的更接近的近似值,得到
而不是用传统的斯特林近似得到的 0。