La definición de limsup/liminf para una secuencia $ \{a_n: n \geq 1 \} $ está dado por
$$ \liminf_{ n \to \infty} a_n = \sup_{n \geq 1} \inf_{ k \geq n } a_k \text{ and } \limsup_{n \to \infty} = \inf_{n \geq 1} \sup_{ k \geq n } a_k . $$
Vamos a mostrar el de la desigualdad de la $\liminf $, otros similares. Definir, por una secuencia $ \{a_n \} $$ n \geq 1$,
$$ I_n (a) = \inf \{ a_k : k \geq n \}. $$
Claramente, $ I_n (a) \leq I_{n+1} (a) $ desde el infimum es asumida $ \{ k : k \geq n \} $ en el primer caso, la cual contiene un conjunto $ \{ k : k \geq n+1 \}$ más que el infimum se toma en el segundo caso. Por lo tanto, $ I_n (a) $ es no decreciente y, por tanto, el límite de $ I_n (a) $ existe y el supremum es el límite (que no necesita ser limitado). Por lo tanto, tenemos,
$$ \liminf_{ n \to \infty} a_n = \sup_{n \geq 1} \inf_{ k \geq n } a_k = \lim_{ n \to \infty} I_n (a) . $$
Ahora, viene el problema, vamos a $ X_n \leq Y_n $ todos los $ n \geq 1$, pretendemos
$$ I_n (X) \leq I_n (Y) \text{ for all } n \geq 1 . $$
Una vez que nos muestran esto, la desigualdad se sigue de la anterior relación acerca de las $ \liminf $ y el límite de la secuencia de $ I_n (X) $ $ I_n (Y) $ respectivamente.
Para probar la afirmación: fix$ n \geq 1 $, y tomará las $ \epsilon > 0 $. A continuación, $ I_n (Y) + \epsilon > I_n (Y) $ y por lo tanto hay un $ k (\geq n ) $ tal que $ Y_k < I_n (Y) + \epsilon $. Por lo tanto, tenemos $ X_k \leq Y_k < I_n (Y) + \epsilon $. Por lo tanto, tenemos $ I_n (X) \leq I_n (Y) + \epsilon $. Desde $ \epsilon > 0 $ es arbitrario, tenemos $ I_n (X) \leq I_n (Y) $, y que la demanda está probado.