Von Neumann's minimax theorem through Fourier-Motzkin elimination

Abstract

Fourier-Motzkin elimination, a standard method for solving systems of linear inequalities, leads to an elementary, short, and self-contained proof of von Neumann's minimax theorem.