Has it been proven that there is no closed form for the hailstone numbers?

269 Views Asked by At

I know none has been found, and there probably isn't one considering the effort people have put into it, but has it been proven? (for some reasonable definition of "closed form"). I'm mostly interested in proving the nonexistence of closed forms for sequences starting at a given $n$.