三角関数を含む不等式を三角不等式というの
分かった?