English

Elementary Proofs of Some Stirling Bounds

Functional Analysis 2020-01-06 v2 Computational Complexity

Abstract

We give elementary proofs of several Stirling's precise bounds. We first improve all the precise bounds from the literature and give new precise bounds. In particular, we show that for all n8n\ge 8 2πn(ne)ne112n1360n3+103nn!2πn(ne)ne112n1360n3+102n\sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n}-\frac{1}{360n^3+103n}} \ge n!\ge \sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n}-\frac{1}{360n^3+102n}} and for all n3n\ge 3 2πn(ne)ne112n+25n1.110n3n!2πn(ne)ne112n+25n0.910n3.\sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n+\frac{2}{5n}-\frac{1.1}{10n^3}}} \ge n!\ge \sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n+\frac{2}{5n}-\frac{0.9}{10n^3}}}.

Keywords

Cite

@article{arxiv.1802.07046,
  title  = {Elementary Proofs of Some Stirling Bounds},
  author = {Nader H. Bshouty and Vivian E. Bshouty-Hurani and George Haddad and Thomas Hashem and Fadi Khoury and Omar Sharafy},
  journal= {arXiv preprint arXiv:1802.07046},
  year   = {2020}
}
R2 v1 2026-06-23T00:27:26.510Z