Redirecting to Cauchy–Schwarz inequality