Теорема о двух милиционерах

Название теоремы происходит из того факта, что если два милиционера держат между собой преступника и при этом идут в камеру, то заключённый также вынужден туда идти.

Доказательство

Так как последовательности и сходятся, то и ∃. Пусть . Тогда начиная с номера Отсюда получим или т.е. .