已知f(x)在定义域(负无穷,4]是减函数