标签: 斯特林公式估计阶乘