Consider first the special case where . By pairing with in the summation, we obtain
|
|
|
By the Cauchy integral test,
|
|
|
Similarly,
|
|
|
Combining these two estimates,
|
|
|
Morever, when ,
|
|
|
whence
|
|
|
This leads to
|
|
|
Similarly
|
|
|
For general , the difference , respectively , can be estimated by termwise comparing the two series using the methods above. The result is
|
|
|
and
|
|
|
so the claims in the Lemma reduces to the special case above.
∎