Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 10 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Theorem 7
Let φ \varphi be a plurisubharmonic function such that sup φ = − 1 \sup\varphi=-1 . Then
∫ X exp { c ( n , p , γ ) α ( − φ E p ( φ ) 1 n + p ) n + p n } ω X n ≤ 2 C α \int_{X}{\rm exp}\Big\{c(n,p,\gamma)\alpha\Big(\frac{-\varphi}{E_{p}(\varphi)^{\frac{1}{n+p}}}\Big)^{\frac{n+p}{n}}\Big\}\omega_{X}^{n}\leq 2C_{\alpha}
(6.2)
where α \alpha and C α C_{\alpha} are the constants coming from the α \alpha -invariant estimate of ( X , ω X ) (X,\omega_{X}) .