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