TeX source:
f: (0, \infty) \to \mathbb{R}