斯特林公式lnn!=nlnn-n证明