今日は結婚 2 周年。ステーキあずまに行った。黒毛和牛のサーロインステーキ 180 g を食べた。とても美味しかった。

雑多なメモ

下記のことがわかった。

a_0 の型	初期値 a_0 と第一項 a_1 の関係
4k + 1 型	a_0 > a_1
4k + 3 型	a_0 < a_1

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

同様にして、第 n 項 a_n の次の項が大きくなるか小さくなるかは、a_n が 4k + 1 型か 4k + 3 型 かどうかで決まる。

フェルマーの最終定理の YouTube をいくつか見た。ロマンを感じる。登場人物みんなかっこいい。特に谷山・志村予想すごい（何もわからない）。