P
Initializing...
Lemma A.4 — if $\liminf f\neq\limsup f$, some $\alpha$ in between is exceeded along $\beta$-separated times · Prove2Me