Prove that there exists a sequence $(x_n)$ such that $\sum_n a_n x_n$ diverges
So, here's a nice little result that I deduced using the closed graph theorem from functional analysis, but I'm wondering if there's a more elementary approach:
Fact: Let $(a_n)$ be a sequence with $a_n > 0$ and $a_n \to \infty$. Then there exists a sequence $(x_n)$ with $\sum |x_n| < \infty$ for which $\sum_{n=1}^\infty a_n x_n$ diverges.
I'm thinking there may be a relatively easy to construct sequence $x_n$ here, but I myself can't think of any. The reason that I know this must hold is that the map $(x_n) \mapsto (a_n x_n)$ is an unbounded operator from $\ell^1$ to $\ell^\infty$ with a continuous inverse defined over the image, but this provides me with no intuition as to how a suitable $(x_n)$ should be constructed.
Let $k_n$ such that $a_{k_n}\geq 2^n$.
Define $x_{k_n}= a_{k_n}^{-1}$ and $0$ elsewhere.