Collatz-Problem/Algorithmische Formulierung/Aufgabe

Aus Wikiversity

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?