>>13511106You have to state your actual question more precisely.
It is usually agreed that the system
n -> n+1 for n = 0 mod 1
does diverge, actually for every starting number.
Notably though, Wildberger has announced that he can prove that this system
terminates. However, so far he has not yet published his proof.
