Actually I'm still trying to solve this myself. I really like the code. There could be a sequence of 2x+1 starting with x=0 and going to x=4 that is past 1456 iterations. The way to prove it would be to find a recurring cycle and show that this cannot be part of the cycle. What I'm trying to do right now is see if it has any pattern to it.