Let $f : (0, \infty) \to \mathbb{R}$ be a D4364: Real function such that

(i)	\begin{equation} f(x) = \frac{1}{x} \end{equation}

Then $f$ is a D5329: Standard-antitone real function.