Mathematics, Optimization, Data Science, Machine Learning, Duality.
is true implies statement 2 of the Farkas lemma is false (step 2) Statement 2 of the Farkas lemma is false implies statement 2 of the Farkas variant is also false (step 3) Finally, the reason why this proof is called a proof by reduction is because we have reduced the Farkas variant to the original