コラッツ予想、後書（復元+追記）

初期値1ビットごとに3/2

より正確な証明には、初期値を1ビット処理するごとに3/2を行う必要がある。

N=・・・11111

の段階ではその処理は抜けている。

その結果、処理が無限に続くことがない。

が、正確な回数を求めるには、この処理が必要である。

しかし、これも有限回であるので、証明結果が変わるものではない。

これは常に全体が1/2されるのと同じで、初期ビットにおいて常に3/2されるもので相対的には影響がない。

より、厳密な証明の説明ということでは、必要な記載である。