Difference between revisions of "Cauchy inequality"