自明じゃないよ
3n+1を3n-1へ変えただけで
5→14→7→20→10→5とループ
つまり2^xに出逢えるとは限らない