Probability Proofs for Stirling (and More): The Ubiquitous Role of 2π.

The Stirling approximation formula for n! dates from 1730. Here we give new and instructive proofs of this and related approximation formulae via tools of probability and statistics. There are connections to the Central Limit Theorem and also to approximations of marginal distributions in Bayesian s...

Descripción completa

Detalles Bibliográficos
Publicado en:American Statistician Vol. 80; no. 3; pp. 405 - 413
Autores principales: Hjort, Nils Lid, Stoltenberg, Emil Aas
Formato: Artículo
Publicado: Taylor & Francis Ltd Aug2026
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:The Stirling approximation formula for n! dates from 1730. Here we give new and instructive proofs of this and related approximation formulae via tools of probability and statistics. There are connections to the Central Limit Theorem and also to approximations of marginal distributions in Bayesian setups, with arguments which can be worked through by Master and PhD level students (and above). Certain formulae emerge by working through particular instances, some independently verifiable but others perhaps not. A particular case yielding new formulae is that of summing independent uniforms, related to the Irwin–Hall distribution. Yet further proofs of the Stirling flow from examining aspects of limiting normality of the sample median of uniforms, and from these again we find a proof for the Wallis product formula for π . A section detailing historical aspects and development is included, from Wallis 1656 and de Moivre and Stirling 1730 to Laplace 1778, etc.