Теорема: К.Вейерштрасс, Больцано

Из всякой ограниченной последовательности $\left \{X_{n} \right \}$ можно выделить сходящуюся подпоследовательность.