Barrow's inequality

GPTKB entity