Barrow's inequalities

GPTKB entity