斯特林公式怎么想出来的