Определение предела через последовательности здесь работает плохо. Поскольку надо доказывать для последовательностей из интервала, а не из

и
![$[0,1] \setminus E$ $[0,1] \setminus E$](https://dxdy-04.korotkov.co.uk/f/3/a/0/3a097f4fd9b4b2c525d61ad95f475b6d82.png)
. На языке

-

куда проще.
Н18 писал(а):
и вообще расписать доказательство на примере канторова множества?
А заодно и с профессором поговорить, уж простоите за иронию. Доказательство для канторового множества ничем —
ничем! не отличается от доказательства для произвольного

.
Да, я предлагал Вам рассмотреть канторовское множество. Но я предлагал
нарисовать функцию. У Вас явно проблемы с тем, как функция устроена. Нарисуйте график (частично), посмотрите.