Let $x, y \in [0, \infty)$ each be an D4767: Unsigned real number such that
(i) | \begin{equation} x < y \end{equation} |
Then
\begin{equation}
\sqrt{x}
< \sqrt{y}
\end{equation}
(i) | \begin{equation} x < y \end{equation} |