[math-fun] An insomniac's problem