x <= 3+2x