斯特灵公式(Stirling's formula)是一个用于估算阶乘(factorial)的渐近公式。它是以苏格兰数学家詹姆斯·斯特灵(James Stirling)的名字命名的。这个公式在概率论、统计学、组合数学和数值分析等领域具有重要应用。
斯特灵公式的基本形式为:
其中 表示 的阶乘, 是自然常数(约等于 ), 表示随着 增大,两边的比值趋近于 。对于大的 值,这个公式给出了阶乘的一个很好的近似。
更精确的斯特灵公式是:
这个公式包含了一个误差项 ,使得近似更为准确。尽管如此,通常情况下,基本形式已经足够准确,可满足绝大多数需求。