Convergence of series using subsequence. If $\sum^\infty_\mathrm{n=1}a_n$ is a convergent series of positive numbers, and $\{a_{n_i}\}^\infty_\mathrm{i=1}$ is a subsequence of $\{a_{n}\}^\infty_\mathrm{n=1}$,
prove that $\sum^\infty_\mathrm{i=1}a_{n_i}$ converges.
I see several places on this site that talk about the convergence of sequences in this context. Specifically, I'm confused why $\sum^\infty_\mathrm{i=1}a_{n_i}$ , a series , must converge given the above information. If this is a simple proof, then that would be great. If the proof relies on some comparison test, what is the logic being used?

By Cauchy criterion, there exists $N \in \mathbf{N}$ such that for all $n > m \geq N$, we have
$$|a_m + a_{m + 1} + \ldots + a_{n}| < \epsilon \tag{1}$$
Let $(a_{n_i})$ be an arbitrary subsequence of $(a_n)$.
$$(a_{n_i}) := (a_{n_1},a_{n_2},\ldots)$$
Let $a_{n_j}$ and $a_{n_l}$ be any two terms of the subsequence satisfying $n_l > n_j \geq N$. Then, from (1), it follows that, for all $n_l > n_j \geq N$, we have
$$|a_{n_j} + a_{{n_j}+1} + \ldots + a_{n_l}| < \epsilon$$
Since all numbers on the LHS are positive, we can only leave the terms of the subsequence and drop the remaining terms and write for all $n_l > n_j \geq N$:
$$|a_{n_{j}} + a_{n_{j+1}} + \ldots + a_{n_l}| < |a_{n_j} + a_{n_{j}+1} + \ldots + a_{n_l}| < \epsilon$$
Consequently, by the Cauchy Criterion, $\sum_{i=1}^{\infty}a_{n_i}$ is convergent.
