Hanner's inequalities
[de] Hanner-Ungleichungen