ScalingStacks

Proof. [01B2]

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.

Concavity follows from (6.4) and Proposition 2.21. Monotonicity is a consequence of (6.3), and the last equation follows from (6.2) since (ω+d​dc​φ)j∧ωn−j(\omega+dd^{c}\varphi)^{j}\wedge\omega^{n-j} is a probability measure for each jj thanks to Proposition 2.19 and the normalization {ω}n=1\{\omega\}^{n}=1. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.