スターリングの近似の簡易版

スターリングの近似を荒くした$\d n!\simeq\frac{n^n}{e^n}$を示します。

導出

$\begin{eqnarray} \left\{ \begin{array}{l} \d \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^n \ln\kakko{\frac{k}{n}}=\int_{0}^{1} \ln(x)dx=-1　(区分求積法より)\\ \\ \d\frac{1}{n}\sum_{k=1}^n \ln\kakko{\frac{k}{n}}= \frac{1}{n} \ln\kakko{\frac{n!}{n^n}} \end{array} \right. \end{eqnarray} $

より$\d\lim_{n \to \infty} \frac{1}{n} \ln\kakko{\frac{n!}{n^n}}=-1$

$ \Longrightarrow $$\d\lim_{n \to \infty} \kakko{\frac{n!}{n^n}}^{\frac{1}{n}}=\frac{1}{e}$

$ \Longrightarrow $$\d\lim_{n \to \infty} \frac{n!}{n^n}=\frac{1}{e^n}$

$ \Longrightarrow $$\d n!\simeq\frac{n^n}{e^n}$

より示されました。