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.
By Lemma 2.7 the sum is independent of . Given , we shall evaluate this sum at the limit point . Then has no contribution, while contributes
|
|
|
and contributes
|
|
|
plus
|
|
|
Observe
|
|
|
|
|
|
Using Lebesgue dominated convergence theorem, the third integral contribution is equal to
|
|
|
The other two contributions are zero by similar arguments.
∎