$$\cos \frac { \pi } { 15 } \cdot \cos \frac { 2 \pi } { 15 } \cdot \cos \frac { 4 \pi } { 15 } \cdot \cos \frac { 7 \pi } { 15 } = \frac { 1 } { 16 }$$
