引言

斯特林公式(Stirling’s Approximation)是一种用来近似计算阶乘的数学公式。它是数学分析中非常重要的近似公式之一，尤其在概率论、统计学、物理学等领域中广泛应用。本文将使用 Python 中的数学符号计算库 SymPy 推导斯特林公式，帮助大家更好地理解它的推导过程。

1.阶乘的定义

阶乘是一个常见的数学概念，表示一个正整数的连乘积。通常用感叹号表示，如下所示：
$$n!=n\times (n-1)\times$$