うっかり、削除してしまったので最低限復元しました さらに、追記もしています 要約すると 初期値mに対しyビット分の処理で演算結果nが n=(3^x)(m/2^y)+1 m/2^yは切り捨て となるので最終的に n=(3^x)(m/2^y)+1=(3^x)0+1=1 詳しくは 「ep.112 コラッツ予想証明を見やすくまとめ直した」 「ep.129 繰り上がりを考慮した証明」 を参照してください