Proof. [0335]
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.
For large enough, the set has capacity by proposition 2.6. Working in we can thus replace by which is bounded on . Regularizing (see Appendix), we can find a sequence of smooth -psh functions which decrease to on , for some . By proposition 2.7, the set has capacity if is large enough. Now uniformly converges to on , , so is continuous on and . ∎