1302
правки
Изменения
→1: нужно это добавить в рекомендации
Выведем это из стандартного факта анализа.
<tex>a = \lim\limits_{n\to\infty} a_n \Leftrightarrow iff a = \inf\limits_{n\in \mathbb{N}} \sup \{a_n, a_{n+1}, \ldots\} = \sup\limits_{n\in \mathbb{N}} \inf \{a_n, a_{n+1}, \ldots\}</tex>
Но нас интересует следствие только в прямую сторону.