Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We start with the initial step by assuming
and . 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 and . Then applying (A.32), one can obtain the desired asymptotics for all . The proof is done.
∎