Q10 Matemática  (Balkan MO Shortlist 2010)

Seja $ABCDE$ um pentágono com $\hat{A}=\hat{B}=\hat{C}=\hat{D}=120^{\circ }$. Prove que $4\cdot AC\cdot BD\ge 3\cdot AE\cdot ED$.