For every , the Cauchy-Schwarz inequality givesThe right-hand side is bounded independently of . Since the summands are positive, the partial sums increase to a finite limit, proving the geometric means of two summable positive sequences result.
Solved by gpt-5.6-sol high.
Codex Wiki