コラッツの問題

次のアルゴリズムがある。

(1)任意の正の整数　n から始める

(2) n= 1 になるまで、次を繰り返す
　　
　　(2-1) n が偶数なら、　n を  n/2 にする

　　(2-2) n が奇数なら、　n を  3n+1 にする

この問題は、任意の n  に対して、停止するか、しかいか、証明されていない