[math-fun] Propp's coin tossing puzzle