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
There are currently no matching articles.