# Prove that every subsequence of a convergent real sequence converges to the same limit.

Here's the statement I want to prove:

Let $$\{a_n\}_{n=1}^{\infty}$$ be a sequence of real numbers that converges to a real number $$L$$. Then, every subsequence $$\{a_{n_k}\}_{k=1}^{\infty}$$ converges to $$L$$.

Proof Attempt:

Let $$\epsilon > 0$$ be arbitrary but fixed. We are required to prove that:

$$\exists K \in \mathbb{N}: \forall k \geq K: |a_{n_k}-L| < \epsilon$$

We know that there exists an $$N_0 \in \mathbb{N}$$ such that:

$$\forall n \geq N_0: |a_n-L| < \epsilon$$

Since $$\{n_k\}_{k=1}^{\infty}$$ is a strictly increasing sequence of natural numbers, then:

$$\exists K \in \mathbb{N}: \forall k \geq K: n_k \geq N_0$$

$$\implies \exists K \in \mathbb{N}: \forall k \geq K: |a_{n_k}-L| < \epsilon$$

which is exactly the assertion that $$\lim_{k \to \infty} (a_{n_k}) = L$$. That proves the desired result.

Is the proof above correct? If it isn't, why? How can I fix it?

• Looks good to me – QC_QAOA Jul 8 '20 at 15:26
• Thank you so much! – Abhi Jul 8 '20 at 15:28
• It's slightly faster if you make use of $n_k\ge k$ because it's a strictly increasing positive integer sequence. – Peter Foreman Jul 8 '20 at 15:33
• Yeap, that's the approach that my book takes. I read its solution after getting confirmation that mine was correct. I don't really know how i'm supposed to think of quick and easy solutions like that lol. – Abhi Jul 8 '20 at 15:35
• Here's another one to try: Suppose $a_n$ is a sequence such that every subsequence has a further subsequence that converges to $L$. Prove that $a_n \to L$. This is a surprisingly useful technical lemma. – copper.hat Jul 8 '20 at 16:11

Your proof is correct. In fact, you could use your proof to derive a method to find an explicit suitable $$K$$ for each $$\epsilon$$, for the subsequence, given a method for the sequence itself.
• Nice, thanks so much. So, in essence, I've also derived an algorithm for choosing $K$ for each given $\epsilon$. That sounds pretty cool, would it be important in other things i'll see in Analysis? Also, I'll accept your answer as soon as possible. It's not letting me do it right now. – Abhi Jul 8 '20 at 15:29