⌊ξ(7/5)n⌋ に合成数が無限に現れることを、有限のグラフの計算で証明する方法を、高校数学の言葉で順に見ていきます。
論文 Finite graph certificates for composite terms in rational floor sequences（Yuri Odagiri）の解説スライドの第1章〜第3章（1ステップ法）を、アニメーションにしたものです。第4章の語ラベル法から先は扱いません。
第3章の実際の計算（30720 頂点から始めて 4 段で空になる計算）は、このページのプログラムが開くたびに計算し直して表示しています。数値は論文の表1・表2・表3と一致します。
ナレーション音声（Gemini 3.8 Flash TTS で作成）が字幕と同期して流れます。スピーカーのボタンでミュート、横のスライダー（または ↑ ↓ キー）で音量を調節できます。最初はブラウザのウィンドウいっぱいに表示します。右下の2つのボタンのうち、左のボタン（W キー）で目次のあるページ表示とウィンドウいっぱいの表示を切り替え、右のボタン（F キー）で画面全体を使う全画面にできます。音声ファイルを読み込めない環境（HTML だけを手元で開いた場合など）では、ブラウザの音声合成で字幕を読み上げ、読み終わるまで次の字幕に進みません。
論文: DOI 10.5281/zenodo.22997709 ／ ソースと再現資料: github.com/ixixi/rational-floor-certificates