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