Cauchy's inequality