Every payoff is positive, so every pair of mixed strategies has positive expected payoff and the game value satisfies . Player 1 maximizes subject to , , . Setting turns these intoMaximizing is therefore equivalent to the stated minimization of .
Solved by gpt-5.6-sol high.
Codex Wiki