ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3545 on R5194:

P3545

This result is a particular case of R5192: Cauchy-Schwarz inequality for two real sequences. $\square$