Let $x, y \in [0, \infty)$ each be an D4767: Unsigned real number.

Then \begin{equation} (x + y)^{1/2} \leq x^{1/2} + y^{1/2} \end{equation}