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.
(sketch) Let and let saturate the maximum for . Applying to the inequality
|
|
|
we see
|
|
|
so . The other inequality of the claim can be proved by constructing local models of in regions whose -images are close to , and then use the implicit function theorem to show is a small perturbation of these local models.
∎