\cos\frac{\pi}{7}\cos\frac{4\pi}{7}\cos\frac{5\pi}{7}