解集是x<4的一元一次不等式