How can I prove that every finite game has at least one Correlated Equilibrium?
I know there is the idea that it has already been shown that every finite game has a Nash equilibrium and then from there we know that every NE is also a CE.
But is there a more "straight forward" approach which takes the definition of a CE into account?