スターリングの公式とは
自然数 $n$ が非常に大きい時、以下の近似式が成り立つ。
\[n! \simeq \sqrt{2\pi n} \left( \cfrac{n}{e} \right)^n\]別の表現をすると、
\[\lim_{n \to \infty} \cfrac{n! e^n}{\sqrt{2\pi n} n^n} = 1\]証明
ToDo
自然数 $n$ が非常に大きい時、以下の近似式が成り立つ。
\[n! \simeq \sqrt{2\pi n} \left( \cfrac{n}{e} \right)^n\]別の表現をすると、
\[\lim_{n \to \infty} \cfrac{n! e^n}{\sqrt{2\pi n} n^n} = 1\]ToDo