Understanding the proof for subsequences of convergent sequences converge to the same limit as the original sequence

proof-explanationreal-analysis

I found the following proof in Abbott's Understanding Analysis for the fact that the subsequences of a convergent sequence converge to the same limit as the original sequences:enter image description here

I do not understand when, in the second line, Abbott says $n_k \geq k$ $\forall k$. What exactly is $k$ here? Is this a typo? Should it read $n_k \geq n$ $\forall k$ instead? Thanks!

Best Answer

$k$ is any positive integer. Then, $(n_k)_{k \geq 1}$ is an indexing of positive integers, which is strictly increasing. So for instance, when you take $n_1$, you can take any available positive integer, so trivially $n_1 \geq 1$. If $n_m \geq m$ for some positive integer m, then since $n_{m+1} > n_m$, we must have $n_{m+1} \geq m+1$ as well. So by induction, $n_k \geq k$ for all $k$.