今日の所感

a_0 = a_3 となる a_0 は 1 のみであることがようやく証明できた（と思う）。

https://oizumi-yuta.com/collatz/memo

こういう可能な組み合わせをすべて検証するやり方では無理がある。違う方法を考えなくてはならない。