Dreiecksungleichung einer Betragsfunktion

Sei \(\phi\) eine Betragsfunktion eines Integritätsbereichs \(D\) und \(x,y \in D\) Dann gilt:

\begin{align*} \phi(x + y) \leq \phi(x) + \phi(y) \end{align*}