已知定义在R上的函数f(x)=-x^3-x,设x1+x2≤0.给出下列不等式