Ronny Fernandez comments on Induction, Deduction, and the Collatz Conjecture: the Decidedly Undecidable Propositions.

[Ronny Fernandez]

Only if you can’t proof that given that starting value the function will always rise, but that is an unlikely situation.