The Cauchy-Schwartz inequality, arbitrary setting

math.la.t.vec.cauchyschwartz.arb