Existence of Euler-Mascheroni Constant

Theorem
The sequence $\displaystyle \left \langle \sum_{k=1}^n \frac 1 k - \ln n \right \rangle$ converges to a limit.

This limit is known as the Euler-Mascheroni constant.

Proof
Let $\displaystyle f \left({x}\right) = \frac 1 x$.

Clearly $f$ is continuous, positive and decreasing on $\left[{1 \,. \, . \, \infty}\right)$.

Therefore the conditions of the Euler-Maclaurin Summation Formula hold.

Thus the sequence $\left \langle {\Delta_n} \right \rangle$ defined as $\displaystyle \Delta_n = \sum_{k=1}^n f \left({k}\right) - \int_1^n f \left({x}\right) \ \mathrm d x$ is decreasing and bounded below by zero.

But from the definition of the natural logarithm, $\displaystyle \int_1^n \frac {\mathrm d x} x = \ln n$.

Hence the result.