Strong Triangle Inequality

$$\vert x+y\vert _p\leq {\rm max}(\vert x\vert _p, \vert y\vert _p)$$

for all $x$ and $y$.

See also p-adic Number, Triangle Inequality