x \leq 3+2x