Hanner's inequalities
 
x
OK