5.5 3 本目の不等式の評価

次は (49)。 $\tau\in\bigcup_{j=1}^{k-2}I_j$ は

  $$\max\{k',k''\}\leq k-2$$ (62)

を意味するが、このときまず

  $$\Delta Q_k(\tau) \leq M_1\vert\sigma'_i\sigma''_j\vert V_k(\tau-)$$ (63)

が成り立つことを示す。

(62) より $Q_k(\tau-)$ に $\vert\sigma'_i\sigma''_j\vert$ は含まれないし、 生成される front の世代もすべて $k-1$ 以下となる。