Cauchy inequality