. See
[4] for more details. Let 
and
. By the Euler-Maclaurin summation formula,
Since 
for all k and for 
(see [1, p. 805,]), it follows that the remainder 
has a well-defined limit 
as k approaches infinity.
Now since Euler's constant 
, it follows that
Annotation Form Interface