Buniakowskis inequality