摘要：We will 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.
