Cauchy%E2%80%93Schwarz inequality