[tomp]

For the more mathematically minded readers, here's a harder version of the problem:

http://jdh.hamkins.org/transfinite-epistemic-logic-puzzle-ch...