斯特林公式推导方法