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.
We focus on . The 2-form on is exponentially small along the ends, so the only divergence problem happens at infinity along the end.
Applying Lemma 4.1 allows us to replace by the much simpler function
|
|
|
The integral
|
|
|
has the same divergence behaviour as
|
|
|
which is cancelled by the log term we put in the limit.
∎