The Cauchy-Schwarz inequality, arbitrary setting

math.la.t.vec.cauchyschwarz.arb