
.
).
и
, так вот Буняковский доказывает что перемножив попарно элементы последовательностей и возведя результат в квадрат - получим результат меньший, чем если бы посчитали квадраты элементов обеих последовательностей по отдельности и перемножили. *
(всё, что написано выше - верно и для него).