写出一个不等式使它的非负整数解为0,1,2,3