>>604
少なくとも有限回はランプを押せるよね？
途中で諦めても諦めなくてもランプは存在し続けるよ。

>>605
この場合t>=1について規定していなくても関係ないんじゃない？
「なぜ追いつけるか？」なんて問いじゃないんだからさ。
何だったら、
「t=1 で追いつくが、そのときランプの状態がどうあろうとランプは押さない。」
としてもいいし。