AMO 2027 Lớp 10-12 SET 2 - Tự luyện tập Câu hỏi 12

Tìm giá trị của $$X=\sum_{n=1}^{7}\tan^2\frac{n\pi}{16}.$$

Nhập một số nguyên, không kèm đơn vị.