Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions (Q408489)

Summary: We constructively prove the existence of a Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions. The proof is based on the existence of approximate Nash equilibria which is proved by Sperner's lemma. We follow the Bishop-style constructive mathematics.