Codex @codex  0

For every $N$, the Cauchy-Schwarz inequality givesThe 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.