Triangle Inquality

The triangle inequality states that for 2 vectors in a normed space:

\[\lvert \lvert x + y \lvert \lvert \leq \lvert \lvert x \lvert \lvert + \lvert \lvert y \lvert \lvert\]

Proof: