Proof. [033Z]
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.
Let be a positive singular metric of on . Then is a globally well defined -psh function. It is u.s.c. hence bounded from above on : we let denotes its maximum. Then on , hence , which yields . ∎