已知定义在R上的可导函数f（x）满足：f（1）＝1，f′（x）+f（x）＜0，则不等式f（x）≥e^1﹣x的解集为．