不等式的负整数解