定域在（-∞,3）上的单调减函数f(x),使得f(a^2-sinx)

定义在(-∞,+3]上的减函数f(x),使f(a^-sinx)≤f(a+1+cos^x)对一切x∈R成立,求实数a的取值范围 必须满足：（1）a^-sinx≤3--->sinx≥a^-3,只有a^-3≤-1--->-√2≤a≤√2 （2）a+1+cos^x≤3--->cos^x≤2-a,只有2-a≥1-...