A Tutorial on the Proof of the Existence of Nash Equilibria

In this tutorial we detail a proof of Nash's famous theorem on the existence of Nash equilibria in finite games, first proving Sperner's lemma and Brouwer's fixed-point theorem.