Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.
00RS
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.
∎