Sea $ABC$ un triángulo acutángulo. Sean $AD,BE,CF$ bisectrices internas con $D, E, F$ en $BC, CA, AB$ respectivamente. Pruebe que \[\frac{EF}{BC}+\frac{FD}{CA}+\frac{DE}{AB}\geq 1+\frac{r}{R}\]