Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Observe that for some smooth density
which vanishes along the exceptional divisor of ,
thus
Fix local coordinates on a polydisk and a local
embedding .
Note that is comparable to
, being holomorphic on .
Therefore
and for
some .
Choose such that .
Then is the product of a function in
and a function in , hence it is in
by Hölder’s inequality.
A second application of Hölder’s inequality yields
where denotes the conjugate exponent to .
This shows that if is chosen so small
that .
∎