コラッツ予想の最初の反例とかめちゃくちゃでかいよ