Erdös-Mardell inequality is to prove that
\begin{equation} x+y+z\ \geq 2(b+q+z)\nonumber \\ \end{equation}
We also rearrange the above diagram into the following diagram