>>982
|x| = max{x,-x} = max{-x,x} = |-x|

||x|−|y|| ≦ |x+y| ≦ |x|+|y| の yを-yに置き換えたとき
||x| - |-y|| ≦ |x-y| ≦|x| + |-y|
||x|−|y|| ≦ |x-y| ≦ |x|+|y|
なので、x+yの不等式だけを示す。

|x+y| = max{x+y, -(x+y)} = max{x+y, (-x) + (-y)}
≦ max{x, -x} + max{y, -y} = |x| + |y|

左は面倒かな