Question

とんじる

コラッツ予想において、以下の➀➁を示せれば導けるとされていますが、操作を繰り返した結果が1以外になると仮定してそれはあり得ないということを証明する背理法は不適切なんですかね。

①操作をした時に、○→△→◇→☆→○のように最初の数に戻ってしまう循環パターンがないこと（ただし、1→4→2→1を除く）
②操作をした時に、数がどんどん大きくなってしまう発散をしないこと