红眶里的那个不等式不懂。x的整数解不是有4个,那不就是9 10 11 12。小