Stirlerr¶

Stirlerr(n)¶

Error of the Stirling approximation of the factorial logarithm.

$\forall n \in \Nset, \quad Stirlerr(n) = \log(n!) - \log\left(sqrt{2\pi n}\left(\dfrac{n}{e}\right)^n\right)$