三角不等式

実数 a, b に対して |a + b| ≦ |a| + |b| が成り立つ。
証明は こちら