ScalingStacks

Proof. [0259]

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.

We keep the notation of the previous proposition. By definition the second condition is equivalent to

(4) lim infn→+∞ann=0.\liminf_{n\rightarrow+\infty}\frac{a_{n}}{n}=0.

Since LL is ample, Proposition 1.1 leads to the convergence of the sequence (an/n)n≥1(a_{n}/n)_{n\geq 1} in ℝ+\mathbb{R}_{+}. Hence the condition (4) is equivalent to λh​(l)=0\lambda_{h}(l)=0. ∎

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