Corollary. Let f:IRf:I\to\mathbb{R} be twice differentiable on a nonempty open interval IRI\subset\mathbb{R}. Then ff is convex on II if and only if

f(x)0for all xI.f''(x)\ge 0 \quad \text{for all }x\in I.

Connection. This follows from , since f0f''\ge 0 is equivalent to ff' being nondecreasing.