2017/08/11(金)2017-08-11 2017/12/18 17:19 # 現代三角関数論 ## 第1章 ### スターリングの公式 $$ n! \sim \sqrt2\pin^n+\frac{12}e^-n $$ #### 補題 1 $f'(x)$は存在して、連続であるとき $$ \lim_n\to\infty\bigl[\sum_k=1^nf(\frackn)-n\int_0^1f(x)dx\bigr]=\fracf(1)-f(0)2$$