ну да, это я понял еще из начала темы - надо взять некоторую сходящуюся последовательность

, и доказать, что

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

существует

, при этом

.
Даже если предположить, что существует

(хотя тоже это еще предположение надо как-то доказать, но думаю, это следует из того, что множество
![$(-\infty; 0]$ $(-\infty; 0]$](https://dxdy-02.korotkov.co.uk/f/1/7/c/17c10e11171a2700335824a64f316c2782.png)
- ограниченно), то не понятно, как из этого прийти к тому, что и последовательнсоть

тоже сходится, оставаясь при этом в множестве

:(.
Или я даже начало доказательства выбрал неверное?