Proof of existence
Alternate formulation of the limit
Because , we may rearrange to Adding to both sides yields Taking the limit as goes to infinity of both sides,
Convergence of the sum of error terms
The series famously converges to by the Basel problem, so converges to and converges to .
Because for all , the Series Comparison Test gives that must converge to a value in .
Hence, is a defined constant.