>>74
~z := zの共役複素数.

与えられた不等式を同値変形すると
　(z * ~w) + ~(z * ~w) ≦ 2|z * ~w|
になるのを確認して欲しい。

　(z * ~w) + ~(z * ~w)
　= 2Re(z * ~w)
　≦ 2√[Re(z * ~w)^2 + Im(z * ~w)^2]
　= 2|z * ~w|.

証明終。