已知定义在(-无穷,3】上的单调减函数f(x),使得