コラッツの問題で、4->2->1以外のループが存在しないことって、示されてないよね。調べても出てこなかった