コラッツは背理法でとけます。
去年夏に解けてしまっているけど、まだとうぶん発表してやらない。