いやー、一瞬「コラッツ・角谷予想が２ちゃんで証明された！」という
新聞の見出しが浮かんでしまったよ。

そんな簡単に証明できるはずはないと思ってがんばって検証舌。