Let $(a_{n})_{n=0}^{\infty}$ be a sequence of real numbers, and let $L$ be a real number. Then the following two statements are logically equivalent.
(a) $L$ is a limit point of $(a_{n})_{n=0}^{\infty}$
(b) There exists a subsequence of $(a_{n})_{n=0}^{\infty}$ which converges to $L$.
My solution
Please consult here.
Best Answer
Firstly, as @zipirovich mentions in the comments under your question, in the first part, your statement of what you need to prove is a bit off. You say:
but nowhere is that $\varepsilon$ used in the latter half. It is actually hidden in the symbols "$b_n = a_{f(n)} \to L$". This is poor form—it would be much better to expand out the "$\to$" to show where the $\varepsilon$-dependence arises. You must have something like
Can you fill in the right form?
Secondly, the quoted statement is not what you want to prove. You want to prove that a convergent subsequence exists, or in other words:
Note the difference made by swapping the order of the "for every" and "there exists" terms. You do go on to show what you claimed you need to show, but this does not help you prove that there is a convergent subsequence.
Just to elaborate, what you have shown is something like the following: if I give you an $\varepsilon > 0$, say $\varepsilon = 1$, then you're able to give me a subsequence all of whose terms are within distance $1$ of $L$. But, this does not mean that the subsequence gets arbitrarily close to $L$! It's possible that they are all within distance $1$, but also a distance $1/2$ away from $L$.
Next, if I give you $\epsilon = 1/2$, then you can give me some subsequence all of whose terms are within distance $1/2$ of $L$. But, this again does not mean that this subsequence gets arbitrarily close to $L$. Note that from your proof this subsequence has got nothing to do with the one you found when $\epsilon = 1$, which is partly the problem here.
For any fixed $\varepsilon > 0$, you are able to produce a subsequence which lies within the ball of radius $\epsilon$ centered at $L$. But, you have not yet produced one subsequence which gets arbitrarily close to $L$.
To construct the required subsequence, you need to follow something like this outline:
Your second part is accurate (modulo some typos), although a tad confusing, since the roles of $n$ and $N$ appear to be interchanged.
Perhaps modifying the definition of convergence to use another alphabet would be helpful: