ILL 1967 Problem 21

Without using tables, find the exact value of the product: $P = \prod^7_{k=1} \cos \left(\frac{k \pi}{15} \right).$

Dataset text AoPS wiki problems. Quoted with source.

Solutions

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