コラッツ予想がとけたらいいな その2

[0338 １３２人目の素数さん 2018/06/30(土) 00:31:00.91 ID:P0VnQOuD]

つか、Coqが間違ってないとすれば計算が進むたびに減少するなにがしかの量を>>1が見つけたってことだよね？
>>272が言ってたことだよね？
ホントならかなりすごいよね？