Triangle Inequality/Complex Numbers/Proof 2

Proof
Let $z_1 = a_1 + i a_2, z_2 = b_1 + i b_2$.

, let us assume:

Then:

The final statement is always true since each summand is positive, because by assumption

and therefore each summand is a negative times a negative or a positive times a positive. Hence the result.