Problema em aberto

["Pedro Antonio S. Salomao" <psalomao.vir@xxxxxxxxxx>]

Outro dia me apresentaram o seguinte problema, que j� deve ser conhecido de
muitos voc�s:

Dada um fun��o sobre os naturais, que pega um n�mero par e divide por 2 e
pega um n�mero �mpar, o multiplica por 3 e soma 1.

Provar (se � que � verdade) que a iterada da fun��o para qualquer n�mero
natural converge para 4, 2, 1, 4, 2, 1......
Ex1:        5 -> 16 -> 8 -> 4 -> 2 -> 1 -> 4 .......
 Ex2:       3 -> 10 -> 5 -> ...........

Gostaria de saber se algu�m j� pensou nesse problema e a quais resultados
chegaram.

Abra�o.  Pedr�o.