今日は結婚 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 をいくつか見た。ロマンを感じる。登場人物みんなかっこいい。特に谷山・志村予想すごい（何もわからない）。