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$$
2017/08/11(金)2017-08-11
2017/08/11 13:45