cauchy_schwarz_inequality