An explicit bound on " for nonemptiness of "-cores of games.