Mathematics, Optimization, Data Science, Machine Learning, Duality.
proof: we claim that x* is not the optimal solution of the primal form, or y* is not the optimal solution of the dual form. 2. We then show that this negation leads to some terrible contradiction: they violate the weak duality theorem. 3. This implies that the negated claim is false, which means