T(n) = (3n + 1) / 2k, con k = v2(3n + 1), para n impar. Si el número inicial es par, se reduce primero a su parte impar.
T(n) = (3n + 1) / 2k
k = v2(3n + 1)
n
Sobre cada flecha se indica el exponente k del paso; en rojo los pasos con k = 1, los únicos en que T(n) > n.
k
k = 1
T(n) > n