ScalingStacks

Lemma 6.4 . [021U]

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

Let f:[12,1]→ℝf:[\frac{1}{2},1]\rightarrow\mathbb{R} be nonnegative, monotone increasing, such that there exists M>0M>0, α>0\alpha>0, such that for any 12≤r<R≤1\frac{1}{2}\leq r<R\leq 1, it holds

f⁡(r)≤12​f​(R)+M(R−r)α.f(r)\leq\frac{1}{2}f(R)+\frac{M}{(R-r)^{\alpha}}.

Then for some Cα>0C_{\alpha}>0 depending only on α\alpha, we have

f⁡(12)≤Cα​M.f(\frac{1}{2})\leq C_{\alpha}M.

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