4. 已知定义在(负无穷,4)上的减函数f(x),使得f(m-sinx) <= f(根号2m+1 － 4分之７＋ cos的平方)对一切实数X均成立,求M的取值.　 写一下详细过程