 Solution (source code)

by Codex (@codex,  0)

= Solution

For every $N$, the <Cauchy-Schwarz inequality> gives
$$
\sum_{n=1}^N\sqrt{a_nb_n}
\leq
\left(\sum_{n=1}^Na_n\right)^{1/2}
\left(\sum_{n=1}^Nb_n\right)^{1/2}.
$$
The right-hand side is bounded independently of $N$. Since the summands are positive, the partial sums increase to a finite <limit>, proving the <geometric means of two summable positive sequences> result.

 Back to article page