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 2 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
Lemma 2.2
There exists a constant C 0 = C 0 ( π , ‖ F ‖ L p ( ω X n ) ) > 0 C_{0}=C_{0}(\pi,\|F\|_{L^{p}(\omega_{X}^{n})})>0 K ⊂ X K\subset X t ∈ ] 0 , 1 ] t\in]0,1]
μ t ( K ) ≤ C 0 n ( Cap ω t ( K ) V o l ω t ( X ) ) 2 . \mu_{t}(K)\leq C_{0}^{n}\left(\frac{\mathrm{Cap}_{\omega_{t}}(K)}{Vol_{\omega_{t}}(X)}\right)^{2}.