Bayesian games with nested information

A Bayesian game is said to have nested information if the players are ordered, and each player knows the types of all players that follow her in that order. We prove that all multiplayer Bayesian games with finite actions spaces, bounded payoffs,Polish type spaces, and nested information admit a Bayesian equilibrium.