Cauchy–Schwarz inequality