Exercise 26, § 5

Let f be a numerical function defined on $\mathbf{R}$. Show that if, for every x ∈ $\mathbf{R}$, lim inf y→x, y≥x f(y) ≥ f(x), then f is μ-measurable for every measure μ on $\mathbf{R}$.