ScalingStacks

Proof. [0421]

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.

The only issue worth checking is convergence, which follows from the fact that |α1​(μ1,μ2,η+n)−14​|n|​a22|≤C⁡(ai​j,μ1,μ2,η)n2|\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{22}}}|\leq\frac{C(a_{ij},\mu_{1},\mu_{2},\eta)}{n^{2}}, and likewise for α2,α3\alpha_{2},\alpha_{3}. ∎

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