Trigonometric Identities · Hard problem

Evaluate $\sin\left(\frac{2 \pi}{3}\right)\cos\left(\frac{\pi}{3}\right)$ exactly, using a product-to-sum formula.