For integer , write . Monotonicity gives . Summing and evaluating the endpoint integrals proves the displayed bounds. They also hold with equality when . The lower integral starts at one and the upper at two; confusing those endpoints loses the constant in the upper bound. The bounds imply , while Stirling's formula determines the logarithmic and constant corrections.

Articles by others on the same topic (0)

There are currently no matching articles.