x_2\geq 2