Cauchy–Schwarz inequality

GPTKB entity