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.
By the change of variables formula one gets
|
|
|
where denotes the topological degree of and
stands for the jacobian of with respect to the Fubini-Study
volume form. Observe that
is a difference of two qpsh functions
for some .
Moreover by the chain rule,
|
|
|
Since is relatively compact
in (previous corollary), the concavity of the log
yields
|
|
|
Decreasing slightly the value of if necessary, this yields
the desired inequality.
∎