HMMT 2016 U15

Compute $\tan \left(\frac{\pi}{7}\right) \tan \left(\frac{2 \pi}{7}\right) \tan \left(\frac{3 \pi}{7}\right)$ .

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

\sqrt{7}

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.