写点, 备忘

Stirling approximation

逐级考虑

考虑积分

显然

考虑 Gamma 函数