已知减函数 的定义域是 , ,如果不等式 成立,那么在下列给出的四个不等式中,正确的是(