Bounded function $f : X \to \overline \R$? Do we mean almost everywhere bounded or can $\overline \R$ be changed to $\R$? Caliburn (talk) 20:52, 21 September 2021 (UTC)
- Since the boundedness bit seems to only be relevant to the convergence being uniform I will try to rework this into two results. The fact that the constructed sequence is increasing is an important thing that needs to be highlighted too. Caliburn (talk) 21:12, 21 September 2021 (UTC)