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.
That has not yet been proven.
(And even there was no viable path found yet to do a proof in finite time)