Did the mathematician Jeffrey Lagarias prove that in his work the Collatz sequences could not go to infinity (divergent trajectory), that only cyclicity can exist?
I don't have enough mathematics to analyze the book myself. But I think it was implied in the book.