\prod_{k=1}^{n-1}\sin(k\pi/n)=n/2^{n-1}