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.
Set . Observe that is uniformly bounded
from above and that .
It follows from proposition 1.6 that either
converges uniformly towards or it is relatively compact
in .
It is sufficient to show that for large enough,
.
Observe that . Therefore
|
|
|
where the last inequality follows from proposition 3.8. We infer
|
|
|
for large enough.
∎