\sin \frac{\pi}{3}=\frac{1}{2}