中文

若干Stirling界的初等证明

泛函分析 2020-01-06 v2 计算复杂性

摘要

我们给出若干Stirling精确界的初等证明。我们首先改进了文献中的所有精确界并给出新的精确界。特别地,我们证明对所有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}} 且对所有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}}}.

关键词

引用

@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}
}