ScalingStacks

Proof. [04EF]

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.

Notice a potential bound such as fL≥cf_{L}\geq c can be characterized by the positivity of the measure g↦∫L(fL−c)​g​Re​Ωg\mapsto\int_{L}(f_{L}-c)g\text{Re}\Omega. This characterization is robust under current convergence, so

supLifLi≤lim supjsupLi(j)fLi(j),infLifLi≥lim infjinfLi(j)fLi(j),\sup_{L_{i}}f_{L_{i}}\leq\limsup_{j}\sup_{L_{i}^{(j)}}f_{L_{i}^{(j)}},\quad\inf_{L_{i}}f_{L_{i}}\geq\liminf_{j}\inf_{L_{i}^{(j)}}f_{L_{i}^{(j)}},

hence the potential clustering bounds pass to the limit. ∎

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