Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 326 / 2 / a / i

The extended-real functional $f:X\to \overline{\mathbb{R}}$ is sequentially lower semicontinuous in the topology ${\tau }_X$ when every sequence $x_n\to x$ in ${\tau }_X$ satisfies