已知定义在(-无穷,4)上的减函数f(x),使得f(m-sinx)小于等于f(根号1+2m -7/4 +cosx平方)对