そんなことよりもさあ,情報システム板でみつけてきたんだけど,

while (k > 1) k = k % 2 == 0 ? k / 2 : 3 * k + 1;

が任意のk(正の整数)について停止するのはなぜなんだ?