結論

１．計算上t秒後に追いつくはずである。
２．ところが>>1の理屈により、追いつけない。
３．１．２．より、矛盾する。
４．これは、t秒後が来ると仮定したからである。よって、背理法よりt秒後という時刻になることはない。

これでＦＡ？