A minimax theorem is a theorem providing conditions that guarantee that the max–min inequality is also an equality. The first theorem in this sense is von Neumann's minimax theorem from 1928, which was considered the starting point of game theory. Since then, several alternative generalizations of von Neumann's original theorem have appeared in the literature.
In game theory, and more precisely the theory of zero-sum games, the minimax theorem shows that the minimax solution of a zero-sum game is the same as the Nash equilibrium. The theorem was first proven and published in 1928 by John von Neumann, who is quoted as saying "As far as I can see, there could be no theory of games … without that theorem … I thought there was nothing worth publishing until the Minimax Theorem was proved".
Formally, von Neumann's minimax theorem states:
Let and be compact convex sets. If is a continuous function that is convex-concave, i.e.