展开 不等式的解集怎么写成集合的形式