Integral inequality (Cauchy-Schwarz)