任意の数列a_iに対して
lim_{i→∞}a_i≦lim_{i→∞}inf_{k≧i}a_k
って合ってます？
なぜ合っているのかわかりません。