Proof. [0284]
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.
We use a similar argument to the one in the proof of Proposition 2 in [Co]. Consider the subvariety , and let
Since is Runge in , it follows that is Runge in . Let
Since is continuous, is a continuous psh exhaustion function on , so is a polynomially convex compact set. As on , we have . By [Co, Theorem 3] there exists a Runge domain , with and . Let denote the distance from to in the -direction. Since is pseudoconvex, is psh on (see e.g. [FS, Proposition 9.2]). Hence is psh on , as . Since , it follows that . Moreover, implies that for all with . ∎