Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We first show that converges to in .
Observe that the sequence is uniformly bounded: this follows
from Theorem 2.1 since satisfies ,
where is bounded
from above.
It follows then from standard arguments that
(see e.g. the proof of lemma 5.2 in [Ce]).
Fix and let be an open set of such that is continuous on
and (see corollary 3.8 in [GZ 1]).
By Hartogs’ lemma, on the compact set ,
if . Observe that
if . O the other hand since satisfies ,
we get
where . This shows that
.
The proof for is similar: it suffices to note that
the functions
are -psh and uniformly bounded.
One can then apply the rest of the argument.
∎