斯特林公式证明花了多久