>>416
区間Iに属する異なる任意の二数a、bでa<bとします。
そしてa<x<bを満たす任意のxに対して、

f(x)< f(a)+f(b)−f(a)/(b−a)×(x−a)

が成り立つことです。(><)