どっちでもいいが三角不等式は、普通三角関数の不等式を指さない
後は勝手にしてくれ