\( \max\limits_{x,y}3x + y\)
s.a.
\(R1: -x+y \le -1 \)
\(R2: -3x -y \le -1 \)
\(R3: 4x +2y \le 1 \)
\(R4: 2y \le -1 \)
\(R5: x \ge 0 \)
\(R6: y \ge 0 \)
Com a primeira restrição, tem-se:

Com a região azul sendo o espaço de soluções factíveis à restrição. É visível que existem infinitos caminhos ilimitados no espaço azul, e portanto a maximização não tem solução real.
- Restrição 2 (R2):
Adicionando R2, temos:

Igualmente, ainda existem infinitos caminhos ilimitados para os argumentos da função, implicando na função objetivo assumindo valores tão grandes quanto se queira. Para que haja solução real, uma condição necessária é que a imagem seja limitada por cima nesse caso.
Restrição 3 (R3):

Adicionando essa restrição, a imagem se torna limitada por cima, e portanto podemos buscar uma solução real. A função objetivo é paralela a R3 e aumenta para cima e para a direita.
Restrição 4 (R4):
O espaço de soluções factíveis não se altera:

Restrições R5 e R6 (restrições de não negatividade):
De fato, adicionando as restrições de não negatividade, o conjunto de possíveis soluções se torna um conjunto vazio. Isso é evidente pela incompatibilidade entre R4 e R6:
\( R4 \implies y < 0 \)
\( R6 \implies y \ge 0 \)
As duas condições são contraditórias e, portanto, isso é condição suficiente para não existência de solução real para o problema. Segue abaixo o código usado no Maple 13.
with(plots):
inequal({-x+y <= -1}, x = -3 .. 3, y = -3 .. 3, optionsfeasible = (color = blue), optionsclosed = (color = green), optionsclosed = (color = red), optionsexcluded = (color = white));
inequal({-3*x-y <= -1, -x+y <= -1}, x = -3 .. 3, y = -3 .. 3, optionsfeasible = (color = blue), optionsclosed = (color = green), optionsclosed = (color = red), optionsexcluded = (color = white));
inequal({-3*x-y <= -1, -x+y <= -1, 4*x+2*y <= 1}, x = -3 .. 3, y = -3 .. 3, optionsfeasible = (color = blue), optionsclosed = (color = green), optionsclosed = (color = red), optionsexcluded = (color = white));
inequal({2*y <= -1, -3*x-y <= -1, -x+y <= -1, 4*x+2*y <= 1}, x = -3 .. 3, y = -3 .. 3, optionsfeasible = (color = blue), optionsclosed = (color = green), optionsclosed = (color = red), optionsexcluded = (color = white))
inequal({x >= 0, y >= 0, 2*y <= -1, -3*x-y <= -1, -x+y <= -1, 4*x+2*y <= 1}, x = -3 .. 3, y = -3 .. 3, optionsfeasible = (color = blue), optionsclosed = (color = green), optionsclosed = (color = red), optionsexcluded = (color = white));