[math-fun] A (non-)proof of the Collatz 3n+1 problem.