Problem: Let, $f$ be a real-valued Lebesgue measurable function on $\mathbb{R}^k$, prove that there exists Borel functions $g$ and $h$ such that $\mu_k(\{x \in \mathbb{R}^k: g(x) \neq h(x)\}) = 0$ and $g(x) \le f(x) \le h(x)$ a.e. $[\mu_k]$.

(where, $\mu_k$ is the Lebesgue measure on $\mathbb{R}^k$)

Note: This is problem 14 from pg-59 of Rudin's Real and Complex Analysis book. The problem as stated in book is incorrect. It requires us to find Borel functions $g$ and $h$ such that $\mu_k(\{x \in \mathbb{R}^k: g(x) \neq h(x)\}) = 0$ and $g(x) \le f(x) \le h(x)$ for all $x \in \mathbb{R}^k$. It's interesting to construct a counter-example to the above proposition/disprove it.

Welcome to mathimatikoi.org forum; Enjoy your visit here.