I am concerned with the

7x±1 problem. My conjecture is that the orbit of arbitrary positive integer always leads to 1. I have computationally verified the conjecture for all numbers up to 10

^{10}. I would appreciate hearing any thoughts on this. Thanks!