Cauchy–Schwarz–Bunyakovsky inequality