Sea $ABCD$ un cuadrilátero convexo y puntos $E$ y $F$ en los lados $AB,CD$ tales que $\tfrac{AB}{AE}=\tfrac{CD}{DF}=n$. Si $S$ es el área de $AEFD$ demuestra que ${S\leq\frac{AB\cdot CD+n(n-1)AD^2+n^2DA\cdot BC}{2n^2}}$