Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Using the same strategy as in Lemma 4.22, we reduce to the special case . Pairing with in the series (4.26),
|
|
|
We compare this series expression of to the closely related integral (cf. Lemma 4.21)
|
|
|
The deviation between the series and the integral is bounded by
|
|
|
using the same type of Cauchy integral test argument as Lemma 4.1.
The ‘morever’ statement is a minor variant of the proof of Lemma 4.22, where in the application of the Cauchy integral test we use the mean value inequality to estimate the difference between the series and the integral, similar to the argument in Lemma 4.1.
∎