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 induct on dimension. For , the unit ball is already enclosed by an annulus, so is bounded above, and the mean value property applied to all balls with gives a lower bound on . Thus the -bound in is clear.
For general , notice by induction we can bound for each ,
|
|
|
so is controlled in on an annulus enclosing , and we can bound similar to the case.
∎