> the process terminated for every number up to a range of 10,000,000, which is as high as I tested. It's just the formal proof that missing.

As well as the rest of the numbers between ten million and infinity.

And I suppose, an understanding of why.