ScalingStacks

Lemma 2 [057K]

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 2

Let Ο•:𝐑+→𝐑+\phi:{\bf R}_{+}\to{\bf R}_{+} be a decreasing right-continuous function with limsβ†’βˆžΟ•β‘(s)=0\lim_{s\to\infty}\phi(s)=0. Assume that r​ϕ​(s+r)≀B0​ϕ​(s)1+Ξ΄0r\phi(s+r)\leq B_{0}\phi(s)^{1+\delta_{0}} for some constant B0>0B_{0}>0 and all s>0s>0 and r∈[0,1]r\in[0,1]. Then there exists some S∞=Sβˆžβ€‹(Ξ΄0,B0,Ο•)>0S_{\infty}=S_{\infty}(\delta_{0},B_{0},\phi)>0 such that ϕ⁑(s)=0\phi(s)=0 for all sβ‰₯S∞s\geq S_{\infty}.

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