A theorem on sequences of differentiable functions (Q1898994)

In this paper, the authors prove: Let \(p \in \mathbb{N}\) and \(g_0, g_1, g_2, \ldots, g_p : \mathbb{R} \to \mathbb{R}\). Then there is a sequence \((f_n)_{n \geq 1}\) of \(p\)-times continuously differentiable functions such that \(f_n \to g_0\), \(f_n' \to g_1, \ldots, f_n^{(p)} \to g_p\), if and only if each \(g_i\) is Baire one, \(g_0^{(p)} (x) = g_1^{(p - 1)} (x) = \cdots = g_p(x)\) a.e. on a dense open set \(U\) and \(g_0, g_1, \ldots, g_{p - 1}\) are locally absolutely continuous on \(U\).