Proof. [0311]
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.
This estimate is contained in the second-named author’s work [38], although it is not explicitly stated there. To see this, start from [38, (3.24)], which gives a constant so that on we have
Then use [38, Lemma 3.1] to get
and so adding these two inequalities we get
or in other words on , where as before. To get the reverse inequality, we note that on we have
where the last inequality follows from [38, (3.23)]. We thus get the reverse inequality
thus proving (4.1). ∎