Buniakowsky inequality

GPTKB entity