Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.
док-во: пуст xn - ограничена, т. е.