前回： 【コラッツ予想】Eliahou の log3/log2 による考察 - 数学大好き宣言！前の記事で紹介した結果： Eliahouは1993年の論文で、サイクルの最小値が を超えるならば、周期の長さ が となることを示した。ここでは非負整数で、 かつ である。 これを示すの…