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.
We can assume w.l.o.g. that and .
Fix and , .
By Chebyshev inequality, it suffices to control
uniformly in . It follows from Stokes
theorem that
|
|
|
Now by Cauchy-Schwartz inequality,
|
|
|
where we set .
Moreover
|
|
|
since , and .
Similarly
|
|
|
Altogether this yields
|
|
|
|
|
|
|
|
|
|
where the last inequality follows from the elementary inequalities
and
.
Going on replacing at each step a term by ,
we end up with
|
|
|
The majorant being independent of and converging to as
(by dominated convergence theorem), this
completes the proof.
∎