Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 10 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context Β· Original author HTML
Lemma 2
Let Ο : π + β π + \phi:{\bf R}_{+}\to{\bf R}_{+} be a decreasing right-continuous function with lim s β β Ο β‘ ( s ) = 0 \lim_{s\to\infty}\phi(s)=0 . Assume that r β Ο β ( s + r ) β€ B 0 β Ο β ( s ) 1 + Ξ΄ 0 r\phi(s+r)\leq B_{0}\phi(s)^{1+\delta_{0}} for
some constant B 0 > 0 B_{0}>0 and all s > 0 s>0 and r β [ 0 , 1 ] r\in[0,1] . Then there exists some S β = S β β ( Ξ΄ 0 , B 0 , Ο ) > 0 S_{\infty}=S_{\infty}(\delta_{0},B_{0},\phi)>0 such that Ο β‘ ( s ) = 0 \phi(s)=0 for all s β₯ S β s\geq S_{\infty} .