On existence of undominated pure strategy Nash equilibria in anonymous nonatomic games

We strengthen the theorem of Schmeidler (1973) on the existence of a pure strategy Nash equilibrium in anonymous games with a continuum of players by showing the nonemptiness of the Pareto frontier of the set of pure strategy Nash equilibria.