Cauchy–Bunyakovsky inequality

GPTKB entity