指数は多項式に勝つ

補題 4.1（「計算量と O 記法」§4）・ ✓公理まで証明済み

$c > 1$ と $k \ge 0$ を実数とする。このとき実変数の極限として

\lim_{x \to \infty} \frac{x^k}{c^{\,x}} = 0

が成り立つ。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。