Lemma 4.2 . [02BR]
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
Lemma 4.2.
Taking , the map has derivative bounded by where is the lower bound in Theorem 1.1 and is the constant in the first derivative estimate.