どの数列 ⌊ξ(7/5)n⌋ にも合成数が無限に現れること。それを、有限のグラフを一つ作って何も残らなくなるまで刈り込むことで証明する方法を見ていきます。
論文 Finite graph certificates for composite terms in rational floor sequences（Yuri Odagiri）の第3節と第5.1節で使われる1ステップ法を解説するアニメーションです。任意の実数 ξ > 0 について、⌊ξ(7/5)n⌋ の項の無限個が 2, 3, 5, 11, 13 のどれかで割り切れ、したがって合成数が無限にあることの証明を扱います。英語版と同じ内容です。
第3章から先のグラフは、あらかじめ計算した結果の絵ではありません。ページを開くたびに1ステップ法の計算をやり直して描いています（第1段階の状態は 30,720 個）。数値は論文の表1・表2と一致します。
ナレーション音声は Gemini 3.8 Flash TTS で作成し、字幕と同期して流れます。画面の日本語は Zen Old Mincho（SIL Open Font License）の字形で描いています。最初はウィンドウいっぱいに表示します。W で目次のあるページ表示に、F で全画面に切り替えられます。音声ファイルを読み込めない環境（HTML だけを手元で開いた場合など）では、ブラウザの音声合成で字幕を読み上げます。
論文: DOI 10.5281/zenodo.22997709 ／ ソースと再現資料: github.com/ixixi/rational-floor-certificates ／ 解説スライド第1〜3章のアニメーション版