如何证明迭代必然有尽头？

gogdizzy

while(x!=1) { if(x%2==0) x =x /2; else x=3*x+1; }

gxqcn

这是著名的“角谷猜想”，现在尚未解决。