ScalingStacks

Lemma 4.9 . [03HH]

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.9.

Let F^​(z)\widehat{F}(z) and U^​(z)\widehat{U}(z) be the function defined in Lemma 4.8, then F^​(z)−η​z\widehat{F}(z)-\eta z is increasing for z>2​ηz>2\eta and U^​(z)+η​z\widehat{U}(z)+\eta z is decreasing for z>2​ηz>2\eta.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.