2X-3 >= -x +1