Let $(x_n)_{n=1}^\infty$ be a sequence of real numbers. A subsequence of $(x_n)$ is a sequence of the form $(x_{n_k})_{k=1}^\infty$, where $(n_k)_{k=1}^\infty$ is a strictly increasing sequence of positive integers.