4 Los reales positivos $a$ , $b$ y $c$ satisfacen $\frac{a^2+b^2+c^2}{ab+bc+ca} = \frac{ab+bc+ca+1}{2}$ . Demuestre que \[ \sqrt{a^2+b^2+c^2} \le 1 + \frac{\lvert a-b \rvert + \lvert b-c \rvert + \lvert c-a \rvert}{2}. \] Propuesto por Evan Chen