>>96
ちょこっと訂正

「この不運が続けば
d_(n+m(m+1)) > d_n + 1/2
となり得る。」
の数式の部分について、正しくは
[2d_(n+m(m+1))] > [2d_n]
でした。

というのは、仮にn+mkラウンド目(1≦k≦m)が終わって我に返った時点で
m'=[2d_(n+mk)]+1
の値がmから増えた場合、必ずしも
d_(n+m(k+1)) > d_(n+mk) + 1/(2m+1)
と言えない可能性があるから。

代わりに、m'の値が増えた時点で、そこからn+m(m+1)ラウンドが終るまで一時的にハンターと逆方向に進み続ける戦略に変えれば、
m'がその後減ることはないので、訂正後の数式がきちんと成り立つことがわかる。

最後の評価式も、正確には
d_1 > 1.5,
d_21 ≧ 2,
d_51 ≧ 2.5,
d_93 ≧ 3,…
です