Would you have known whether one of the examples returns true without knowing the Collatz conjecture (which was explained in the article)? And it’s a conjecture

Would you have known whether one of the examples returns true without knowing the Collatz conjecture (which was explained in the article)? And it’s a conjecture, we’re not sure it actually always works.