Let $ABC$ be an acute triangle. Let $I$ be a point inside the triangle and let $D$ be a point on the line $AB$. The line through $D$ which is parallel to $AI$ intersects the line $AC$ at the point $E$, and the line through $D$ parallel to $BI$ intersects the line $BC$ in point $F$. prove that $$\frac{EF \cdot CI}{2} \ge area (\vartriangle ABC) $$