Cauchy inequality

GPTKB entity