> while (n > 1)
>   if (n & 1) n = 3 * n + 1;
>   else n /= 2;

それは証明されてた気がするな

参考：2003/06/14(土)00時10分04秒