Convergent subsequence (source code)

= Convergent subsequence
{wiki=Subsequence}

A convergent subsequence of $(x_n)$ is a sequence $(x_{n_k})$ with strictly increasing indices $n_k$ that converges to a limit.