Collatz-Problem/Algorithmische Formulierung/Aufgabe

Für positive ganze Zahlen betrachten wir folgenden Algorithmus.

Wenn gerade ist, so ersetze durch die Hälfte.
Wenn ungerade ist, so multipliziere mit und addiere dann dazu.

Frage (Collatz-Problem):

Ist es wahr, dass man bei jeder Startzahl früher oder später bei landet?