@BEBischof yeah, I think so: call your number at step i N_i, and the total T_i. Consider the set of triples (N_i, N_j, T_i mod N_j) for all j<=i. If at some step all those triples are ones you've seen before, nothing new is going to happen so you'll never reach N = 1