初期値x_0で周期sでループすると仮定する、x_0がループ内最小となるように調整する
->左端を伸ばすパターンのsステップ目の右端局所的傾きがlog(3/2)より小さいと仮定する
->sステップ目でずれは1以上になる
->3sステップ目でずれは3以上になる
->ループで一番小さい数はx_0で、3s <= 3x_0だと矛盾する
->よってs > x_0である
1〜nでコラッツの反例がなければ、n < x_0 < sである。
->周期n+1以下のループは存在しない
よって、
左端を伸ばすパターンのn < x_0 < sステップの右端局所的傾きがlog(3/2)より小さいならば、
1〜nでコラッツの反例がなければ、周期n+1以下のループは存在しない
が言えると思います。
