Q12 Matemática  (IMO Shortlist 1967)

Sem usar tabelas, encontre o valor exato do produto: $$P=\prod _{k=1}^7\cos \left(\frac{k\pi }{15}\right).$$