In an $n$-player game where $n$ is finite and each player has a finite choice of pure strategies $\vert S_i \vert < \infty$, then there exists a (possibly mixed) Nash equilibrium .