[math-fun] 3x+1 problem