If you can prove whether recursion or even a loop is bounded or not, you have solved the collatz conjecture.