[tex]x \leq \frac{1}{4} \ i \ y \geq -\frac{1}{3} \Rightarrow 12xy + 4x-3y \leq 1 \\\\ x \leq \frac{1}{4} \ \ \ |\cdot 4 \\ 4x \leq 1 \\ 4x - 1 \leq 0 \\\\ y \geq -\frac{1}{3} \ \ \ |\cdot 3 \\ 3y \geq - 1 \\ 3y + 1 \geq 0 \\\\ Zatem: 4x - 1 \leq 0 \ i \ 3y+ 1 \geq 0 \\\\ 12xy + 4x-3y \leq 1 \\ 12xy + 4x-3y - 1 \leq 0 \\ 4x \cdot (3y + 1) - 1 \cdot (3y + 1) \leq 0 \\ (3y + 1)(4x - 1) \leq 0[/tex]
Otrzymaliśmy przy przyjętych założeniach nierówność prawdziwą, ponieważ wyrażenie (3y + 1) z założenia jest nieujemne (większe lub równe zero), a wyrażenie (4x - 1) z założenia jest niedodatnie (mniejsze lub równe zero). Zatem iloczyn tych wyrażeń jest niedodatni (mniejszy lub równy zero). Wobec tego, nierówność 12xy + 4x - 3y ≤ 1, przy przyjętych założeniach, jest prawdziwa, co należało wykazać.