I have to find minimal description of a polyhedron $P$ described as follows:
\begin{align*}x_1 - x_2 &\leq 0\\-x_1 + x_2 &\leq 1\\2x_2 & \leq 5 \\ 4x_1 - x_2 &\leq 8 \\ x_1 + x_2 &\geq 1\\x_1 &\geq 0, x_2 \geq 0.\end{align*}
So far I have managed to get: \begin{align*}x_1 - x_2 &\leq 0\\-x_1 + x_2 &\leq 1\\2x_2 & \leq 5 .\end{align*}
Can anyone tell me if that is correct?