定理 2.5 (保不等式性)
设 { a n } \left\{a_{n}\right\} { an} 与 { b n } \left\{b_{n}\right\} { bn} 均为收敛数列. 若存在正数 N 0 N_{0} N0, 使得当 n > N 0 n>N_{0} n>N0 时, 有 a n ⩽ b n a_{n} \leqslant b_{n} an⩽bn, 则 lim n → ∞ a n ⩽ lim n → ∞ b n \lim \limits_{n \rightarrow \infty} a_{n} \leqslant \lim \limits_{n \rightarrow \infty} b_{n} n→∞liman⩽n→∞limbn.
证
设 lim n → ∞ a n = a , lim n → ∞ b n = b \lim \limits_{n \rightarrow \infty} a_{n}=a, \lim \limits_{n \rightarrow \infty} b_{n}=b n→∞liman=a,n→∞limbn=b. 任给 ε > 0 \varepsilon>0 ε>0, 分别存在正数 N 1 N_{1} N1 与 N 2 N_{2} N2, 使得当 n > N 1 n>N_{1} n>N1时, 有
a − ε < a n , ( 1 ) a-\varepsilon<a_{n}, \quad\quad(1) a−ε<a