不等式的解有多少个