IMO 1967 - Danh sách đề xuất (Longlist) Câu hỏi 21

(HUN 2) Không dùng bảng số, hãy tìm giá trị chính xác của tích $$P=\cos\frac\pi{15}\cos\frac{2\pi}{15}\cos\frac{3\pi}{15}\cos\frac{4\pi}{15}\cos\frac{5\pi}{15}\cos\frac{6\pi}{15}\cos\frac{7\pi}{15}.$$