Q3 Matemática  (Balkan MO 1992)

Sejam $D$, $E$, $F$ pontos nos lados $BC$, $CA$, $AB$ respectivamente de um triângulo $ABC$ (distinto dos vértices). Se o quadrilátero $AFDE$ é cíclico, prove que $$\frac{4\mathcal{A}[DEF]}{\mathcal{A}[ABC]}\le {\left(\frac{EF}{AD}\right)}^2.$$ Grécia