正弦函数不等式