Existence of Euler-Mascheroni Constant

Theorem
The real sequence:
 * $\ds \sequence {\sum_{k \mathop = 1}^n \frac 1 k - \ln n}$

converges to a limit.

This limit is known as the Euler-Mascheroni constant.