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
Lemma 2.3.
Let and be a continuous -psh function on so that for all . If and is an -psh function on so that , then there exists a -psh function on so that
|
|
|
and
|
|
|