差分

この時、$$i=1,2,3,\dots ,n$$ に対し $$M_i$$ と $$m_i$$ を次のように定義する。

$$\displaystyle{m_i=\inf_{x\in[x_{i-1},x_i]}f(x)}$$