Schwarz inequality

GPTKB entity