Mathematics, Optimization, Data Science, Machine Learning, Duality.
above, the negated statement is nothing but saying statement 1 of the Farkas variant is false (with some minor renaming of variables). Then, statement 2 of the Farkas variant must be true, as we have proven above. Therefore, our next step is to spot the contradiction that underlies statement 2 of