[13M]Vice versa, given \(f:ββββͺ\{ +β\} \) l.s.c., there exists an increasing sequence of continuous functions \(f_ n:βββ\) such that \(f_ n(x)β_ n f(x)\).
[13N]βΊβ»