不等式I2-xI+Ix+1I