Proof. [00T2]
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.
(Thm. 5.10) By Thm 5.6 we already know the metric convergence over any properly contained open subset of , which corresponds to a region , with nearly the full measure:
where can be chosen arbitrarily small. It now suffices to show any point is close to . For any such that the geodesic ball , the Bishop-Gromov inequality implies
Taking the sup of all such ,
which can be made arbitrarily small. ∎