Congruences and inequalities of Cauchy-Buniakovski-Schwartz type | lit.salon