Euler's inequality

GPTKB entity