Математический анализ. Алексей Савватеев и Александр Тонис. Лекция 8.3. Завершение доказательства