Gallouet inequality

GPTKB entity