BBRREEUUUUKKKKK

In een convexe vierhoek $ABCD$ plaatst men punten $E,F$ op $AB,CD$ resp. zodat geldt dat $\tfrac{|AB|}{|AE|}=\tfrac{|CD|}{|DF|}=n.$
Bewijs dat $[AEFD] \leq\frac{AB\cdot CD+n(n-1)AD^2+n^2DA\cdot BC}{2n^2} $