[math-fun] Doomsday argument