IMC 2021 · Problem 4

Day 128th IMC · Online

Statement

Let f ⁣:RRf \colon \mathbb{R} \to \mathbb{R} be a function. Suppose that for every ε>0\varepsilon > 0, there exists a function g ⁣:R(0,)g \colon \mathbb{R} \to (0, \infty) such that for every pair (x,y)(x, y) of real numbers,

ifxy<min{g(x),g(y)},thenf(x)f(y)<ε.\text{if} \quad |x - y| < \min\{g(x), g(y)\}, \quad \text{then} \quad |f(x) - f(y)| < \varepsilon.

Prove that ff is the pointwise limit of a sequence of continuous RR\mathbb{R} \to \mathbb{R} functions, i.e., there is a sequence h1,h2,h_1, h_2, \ldots of continuous RR\mathbb{R} \to \mathbb{R} functions such that limnhn(x)=f(x)\lim\limits_{n \to \infty} h_n(x) = f(x) for every xRx \in \mathbb{R}.

Official solution

Hidden so you can work on the problem first.

Proposed by Camille Mau, Nanyang Technological University, Singapore.