**Определение 3.14.**

1. Последовательность $\{ a_ n\} $ называется *нестрого возрастающей (нестрого убывающей)*, если $\forall n \in \mathbb {N}\colon a_ n \leqslant a_{n+1}\  (a_ n \geqslant a_{n+1})$.

2. Последовательность $\{ a_ n\} $ называется *строго возрастающей (строго убывающей)*, если
$\forall n \in \mathbb {N}\colon a_ n < a_{n+1}\  (a_ n > a_{n+1})$.

Нестрого возрастающие, нестрого убывающие последовательности называются *монотонными*.

**Теорема 3.9 (О пределе монотонной последовательности).** Всякая монотонная последовательность $\{ a_ n\} $ имеет предел, равный для нестрого возрастающей последовательности $\sup \{ a_ n\} $, для нестрого убывающей последовательности $\inf \{ a_ n\} $.

<span>$\blacktriangle $ </span>Пусть $\{ a_ n\} $ нестрого возрастает, $S = \sup \{ a_ n\} $. Покажем, что $\lim \limits _{n\to \infty }a_ n = S$. Возможно два случая:

1. $\{ a_ n\} $ ограничена сверху, $S \in \mathbb {R}$. По определению точной верхней грани имеем:

    $\forall \varepsilon > 0\  \exists N_\varepsilon \in \mathbb {N}\colon a_{N_\varepsilon } > S-\varepsilon $. Тогда в силу возрастания $\{ a_ n\} $ $\forall n > N_\varepsilon \colon S - \varepsilon < a_{N_\varepsilon } \leqslant a_ n \leqslant S$ и, значит, $a_ n\in B_\varepsilon (S) \Rightarrow S = \lim \limits _{n\to \infty }a_ n$.

2. $\{ a_ n\} $ неограничена сверху, $S = +\infty $. Тогда $\forall \varepsilon > 0\  \exists N_\varepsilon \in \mathbb {N}\colon a_{N_\varepsilon } > \frac1\varepsilon $. Отсюда в силу нестрого возрастания $\{ a_ n\} $ $\forall n > N_\varepsilon \colon a_ n \geqslant a_{N_\varepsilon } > \frac1\varepsilon $ и, значит, $a_ n \in B_\varepsilon (+\infty ) \Rightarrow \lim \limits _{n\to \infty }a_ n = +\infty $.

Случай нестрого убывающей последовательности аналогичен. Он может быть сведен к предыдущему случаю умножением на $-1$. <span>$\blacksquare $</span>

*Следствие.* Монотонная последовательность сходится тогда и только тогда, когда она ограничена.