Neat series convergence result This is a nice problem on series convergence that I recently stumbled upon. Given a non-negative sequence of real numbers $(a_n)$ such that $$\sum_{n=1}^\infty a_n < \infty,$$ show that there exists a non-decreasing sequence of non-negative numbers $b_n$ such that $$b_n \to \infty \quad\text{ and } \quad \sum_{n=1}^\infty a_n b_n < \infty.$$ In other words, for every convergent series with non-negative terms, there is another convergent series with "substantially larger" terms.
I have a solution (see below), but maybe someone else has a different, simpler, and/or more elegant solution.
 A: Here is another way to do it. Let $$r_n = \sum_{k=n}^\infty a_k.$$ Then $(r_n)$ is a non-increasing sequence with $r_n \to 0$. We can assume $r_n >0$ for all $n$ (otherwise the claim is trivially true), and observe that $$\sqrt{r_n} - \sqrt{r_{n+1}} = \frac{r_n-r_{n+1}}{\sqrt{r_n} + \sqrt{r_{n+1}}} = \frac{a_n}{\sqrt{r_n} + \sqrt{r_{n+1}}}.$$ Define $$ b_n = \frac1{\sqrt{r_n} + \sqrt{r_{n+1}}}.$$ Then $(b_n)$ is a non-decreasing, positive sequence with $b_n \to \infty$, and $$\sum_{k=1}^n a_k b_k = \sum_{k=1}^n (\sqrt{r_k} - \sqrt{r_{k+1}})=\sqrt{r_1} - \sqrt{r_{n+1}},$$
so $$\sum_{k=1}^\infty a_k b_k = \sqrt{r_1} < \infty$$
A: By convergence of the series there exists a strictly increasing sequence of indices $(n_k)$ such that $$\sum_{n=n_k}^\infty a_n < 2^{-k}.$$ Then $$\sum_{k=1}^\infty \sum_{n=n_k}^\infty a_n < \sum_{k=1}^\infty 2^{-k} = 1.$$ Since series with non-negative terms can be reordered arbitrarily, we get $$1 > \sum_{n=1}^\infty \sum_{k\in I_n} a_n = \sum_{n=1}^\infty a_n b_n,$$
where $I_n = \{ k\in\mathbb{N}: n_k \le n \}$ and $b_n = \#I_n$ is the number of elements in $I_n$. We have that $n_k$ is strictly increasing and $n_k \to \infty$ as $k\to\infty$, so $b_n$ is non-decreasing and $b_n \to \infty$.
A: Something very similar is exercise 33 in Chapter 5 of Folland's real analysis book.

For your problem, you want $X = \{(b_n)_n  \in \mathbb{R} : b_{n+1} \ge b_n \ge 0 \text{ for each } n \ge 1\}$ and $Y = \{(c_n)_n \in \mathbb{R} : (\frac{c_n}{a_n})_n \in X\}$. Define $T: X \cap l^\infty(\mathbb{N}) \to Y\cap l^1(\mathbb{N})$ by $T((b_n)_n) = (a_nb_n)_n$. Clearly $T$ has valid codomain and is an injective linear operator (we can assume $a_n \not = 0$ for each $n$). Now, if there were no non-negative $b_n \to \infty$ with $\sum_n a_nb_n < \infty$, then $T$ would be surjective. Therefore, by the open mapping theorem, $T^{-1}$ would be continuous. You can probably finish from here (you can't use Folland's exact argument though), but I'm busy.
