f(x),f'(x),f''(x),g(x)は連続でf''(x)≧0とする

(∫[a,b]f(g(x))dx)/(b-a)≧f((∫[a,b]g(x)dx)/(b-a))