We will constructively prove the existence of a Nash equilibrium in a finite strategic game with sequentially locally nonconstant\r\npayoff functions. The proof is based on the existence of approximate Nash equilibria which is proved by Sperner�s lemma. We\r\nfollow the Bishop-style constructive mathematics.
Loading....