「三角関数を用いた不等式」でいいかと