Integral bounds for Euler's constant
ID: integral-bounds-for-euler-s-constant
For the harmonic number , the upper sequence decreases and the lower sequence increases. The inequalities and follow by integrating the decreasing function over a unit interval. They give the two monotonicities, while . The monotone convergence theorem for sequences therefore gives the common limit Euler's constant . Strict monotonicity makes each finite-index bound strict. At , this gives , since .
New to topics? Read the docs here!