Kantorovich inequality

GPTKB entity