郭茂宸就是个白眼狼:斯特林公式是什么?估算阶乘的原理?