Prove that: cos(2π/15) cos(4π/15) cos(8π/15) cos(16π/15) = 1/16