Cauchy–Bunyakovsky–Schwarz inequality

GPTKB entity