>>406 , >>502(5)

 x_0 =a, x_n =b, x_i - x_(i-1) = �凅_i >0, ととる。
f "(x) ≧ 0 だから、Jensenの不等式より
 Σ[i=1,n] f(x_i)�凅_i /(b-a) ≧ f( Σ[i=1,n] f(x_i)�凅_i /(b-a) ),
ここで Max{|�兩i|; 1≦i≦n} → 0 を満たすように n→∞ とする。

(応用例)
 >>478 (上), >>481