乘3加1的問題

一個有趣的問題
步驟1:隨便取一個正整數
步驟2:如果是偶數,就除以2,如果是單數,就乘3再加1
步驟3:重複步驟2
不管從哪個數開始,最後一定會得到1
很多超大的數已經用電腦驗證過了,最後都得到1,但是還沒人證明出這個命題一定成立

如果這麼命題是真的話,那表示我們可以利用1,與"乘2","減1再除以3"這兩個運算子,得到所有正整數