collatzLongLoop

コラッツのループはあるとしてもとても長い

ある仮定の元で、
1～nまででコラッツの反例がなければ、
周期n/a以下のループは存在しない　　　事を証明します。

ファイルの説明

・collatzLongLoop.xlsx　　　　　説明です。
・macroCollatzPattern.xlsm　　　コラッツパターンというものを生成するマクロです。
・collatzLongLoop.v　　　　　　　Coqでの検証です。