E[f(x)] \leq f(E[f(x)])
\sum_{i=1}^k p_{i} f(x_{i}) \leq f(\sum_{i=1}^k p_{i} f(x_{i}))
Preliminary Definitions on Concave and Convex
A function of a single variable is concave, if every line segment joining two points on its graph does not lie above the graph at any point. Symmetrically, a function of a single variable is convex if every line segment joining two points on its graph does not lie below the graph at any point.\texttt{concave: }$f((1-\lambda)a + \lambda b) \geq (1-\lambda)f(a) + \lambda f(b)$
\texttt{convex: }$f((1-\lambda)a + \lambda b) \leq (1-\lambda)f(a) + \lambda f(b)$
Proof
Suppose f is differentiable. The function f is concave if, for any x and y. f(x) \leq f(y) + (x-y) f^{\prime}(y)f(X) \leq f(E[X]) + (X - E[X])f^{\prime}(E[X])
E[f(x)] \leq f(E[X]) + f^{\prime}(E[X])E[(X - E[X])] = f(E[X])
E[X] = \mu, E[(X - E[x])] = E[X - \mu] = E[X] - E[\mu] = \mu - \mu = 0