Proof. [00VY]
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.
Recall that we are assuming that where is a holomorphic map. We can then use the Chern-Lu formula that appears in Yau’s Schwarz lemma computation [Y2, To1] and get
for a uniform constant . Noticing that
we see that
| (3.2) |
Then the maximum principle applied to (3.2), together with the estimate (2.8), gives (3.1). ∎