f\colon[0,+\infty\rangle\to\mathbb{R}