已知不等式组 —X+2