Min intuition siger mig at refi har ret, men spørgsmålet er en (lille) smule mere kompliceret end det han skriver.
Så vidt jeg kan se, kan det i princippet ende anderledes hvis tallene efter hver "omgang" konstant bliver større.
Det er rigtigt, som refi skriver, at ethvert ulige tal altid vil bliver omdannet til et lige tal og derefter halveret. Dette nye tal vil altid være større end det gamle, men hvis det nye tal igen er lige, skal det naturligvis igen halveres, og så bliver det mindre. Spørgsmålet er så om man kan være så heldig at ramme et nyt ulige tal der efter den samme operation bliver større - og så derefter være så heldig at blive ved med at gøre det.
Jeg kan ikke umiddelbart fremtænke et bevis for at dette ikke kan lade sig gøre, men jeg tror ikke desto mindre at det er umuligt.