Stirlingo formulė

Šiam straipsniui ar jo daliai trūksta išnašų į šaltinius. Jūs galite padėti Vikipedijai pridėdami tinkamas išnašas su šaltiniais.

Stirlingo formulė ar Stirlingo aproksimacija – didelių skaičių faktorialo aproksimacija. Formaliai užrašoma lygybe:

Santykis dydžių (ln n!) ir (n ln n − n) artėja vienetą, kai skaičius n didėja.

$\lim _{n\rightarrow \infty }{n! \over {\sqrt {2\pi n}}\;n^{n}e^{-n}}=1$.

Neformaliai dažniau naudojama:

$n!\sim {\sqrt {2\pi n}}\;\left({\frac {n}{e}}\right)^{n}$

Ši aproksimacija leidžia apytiksliai suskaičiuoti didelių skaičių faktorialą.

Pirmasis formulę aprašė Abraomas de Muavrė (Abraham de Moivre), tačiau vietoje ${\sqrt {2\pi }}$ naudojo konstantą. Vėliau škotų matematikas Džeimsas Stirlingas įvardino šios konstantos tikslią reikšmę.