Corollary

— For every convex numerical function function g on K that is bounded and lower semi-continuous, $g(b_\mu) \leq \int g d\mu$.

It suffices to note that $\inf_{x \in K} g(x) = a$ is finite and apply Prop. 2 to $g - a$.