Cauchy’s inequality