Stirling's approximation
In mathematics, Stirling's approximation (or Stirling's formula) is an approximation for large factorials. It is named in honour of James Stirling. Formally, it states:
| Table of contents |
|
2 Derivation 3 History |
More precisely,
Speed of convergence and error estimates
with
Stirling's formula is in fact the first approximation to the following series (now called the Stirling series):
As , the error in the truncated series is asymptotically equal to the first omitted term. This is an example of an asymptotic expansion.
The formula, together with precise estimates of its error, can be derived as follows. Instead of approximating n!, one considers the natural logarithm ln(n!) = ln(1) + ln(2) + ... + ln(n); the Euler-Maclaurin formula gives estimates for sums like these. The goal, then, is to show the approximation formula in its logarithmic form:
Derivation
Alternatively, the leading term of Stirling's approximation can be obtained through the method of steepest descent.
The formula was first discovered by Abraham de Moivre in the form
History
Stirling's contribution consisted of showing that the "constant"
is .