3 Sean $D$, $E$, $F$ puntos sobre los lados $BC$, $CA$, $AB$ respectivamente de un triángulo $ABC$ (distintos de los vértices). Si el cuadrilátero $AFDE$ es cíclico, demuestra que \[ \frac{ 4 \mathcal A[DEF] }{\mathcal A[ABC] } \leq \left( \frac{EF}{AD} \right)^2 . \] Grecia Valentin