f\colon\mathbb{R}\to\mathbb{R}