Hlawka's inequality

GPTKB entity