Mathematics, Optimization, Data Science, Machine Learning, Duality.
implies a contradiction: y* is no longer the optimal solution of the dual form even though we assumed it was. This contradiction holds regardless of whether y꜀ is positive or zero. The above proof by contradiction implies that the intermediate statement is true: if y* is the optimal solution for