「すべての自然数 N に対して、偶数は（素因数分解したときの 2 の乗数について
割ったら）奇数に帰着する。

「『４で割って３余る奇数』は、ビット列で表現したときに、下位のオンビット列
（一個以上のビット列が並んでいるビットパターン）」に帰着するので、
「４で割って３余る奇数」に帰着する。

そうすると、「４で割って１余る奇数」に帰着するすべての自然数が、3n + 1 操作に
対して、「４で割って１余る奇数」に帰着するかどうかが問題になるわけだから、
「ある『n ≡ 1(mod 4)の数が、(3n + 1)/2 操作によって、『n' ≡ 1(mod 4)の数』に
なるとき、n' が単調増加して無限大に発散するかどうか？」という話に帰着する。

そんなわけで、そのとき、2 で割ったときに、「『2 < n| 2^n - 1』が無限連鎖するか？」という話になる。

自分は数学屋ではないので、数式を追っかけて解決する自信がない。

数値実験で見当をつけようと思う。

ロジックに穴があったら指摘していただきたい。m(_ _)m