Corollario
42
[20N]Si ha \(πΌ=\limsup _{xβ x_ 0} f(x)\) se e solo se
\[ β z{\gt}πΌ, \text{ definitivamente per } xβ x_ 0, f(x){\lt} z ~ ~ ; \]
\[ β z{\lt}πΌ, \text{ frequentemente per } xβ x_ 0, f(x){\gt} z ~ ~ . \]