A collection of specific asymptotic results #
This file contains specific lemmas about asymptotics which don't have their place in the general
theory developped in
f : 𝕜 → E is bounded in a punctured neighborhood of
f(x) = o((x - a)⁻¹) as
x → a,
x ≠ a.
The Cesaro average of a converging sequence converges to the same limit.