非负整数x满足不等式