The story is nice indeed. But would a mathematician consider this a proof? Waiting for infinity is not a human's option.. How frustrating, if the day after passing away the infinite iteration stops being infinite to find its first counterexample.