例えば、6なら、

6→3→10→5→16→8→4→2→1

のように、偶数なら2で割り、奇数なら3倍に1を足すのを
繰り返して、1になるまでの回数(∈Ｎ)

この数列がすべての自然数で定義されるかどうかの
証明は知りません