Remark

In the above proof we see that the function $g$ does not take the value $+1$. By transfer of structure it follows that every lower semi-continuous real-valued function $f$ on the uniformizable space $X$ is the upper envelope of the continuous real-valued functions $g \leq f$ on $X$ which do not take the value $+\infty$.