ScalingStacks

Proof. [0571]

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 start with the initial step by assuming α−β>1\alpha-\beta>1 and β>1\beta>1. Then Lemma A.3 in this case shows that the desired asymptotics hold in this case.

Applying the recurrence formula (A.33), we can extend the domain of indices to α−β>0\alpha-\beta>0 and β>1\beta>1. Then applying (A.32), one can obtain the desired asymptotics for all β∈ℝ\beta\in\mathbb{R}. The proof is done. ∎

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