Definition ∀0≤t≤1,∀x1,x2∈X,f(tx1+(1−t)x2)≤tf(x1)+(1−t)f(x2) If f is differentiable on (a,b), then ∀a<x<y<b,f′(x2)≤f′(x2)⇔f is convex ∀a<x<b,f′′(x)>0⇔f is convex