走る結合は主要対数の和

命題 4.4（「次元正則化とくりこみ群」§4）・ ✓公理まで証明済み

$\beta(\lambda)=b\lambda^2$ （1 ループで打ち切ったもの）とします。このとき $\bar\lambda(t)=\frac{\lambda}{1-b\lambda t}$ で、 $|b\lambda t|\lt1$ では

\bar\lambda(t)=\sum_{k\ge0}b^k\lambda^{k+1}t^k

です。すなわち $\bar\lambda$ は、摂動論の各次数 $\lambda^{k+1}$ で最も高いべきの対数 $t^k$ をもつ項（主要対数）の和です。

閉包の状態

✓ 公理まで証明済み

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

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

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