Cauchy-Bunyakovsky-Schwarz inequality