コラッツ予想とかいうクソシンプルなのに全く解けてないやつ