i would have transform each norm into inner product form
and use the distributive law.
but here they just do some magic
put out thr Re part
i dont know whats the Re part in that context
what method they use here?
as if they say
thats not true its a wrong way of the triangle innequality