$\prod_{k=1}^{n-1}{ \sin \frac{k \pi}{n} } = \frac{n}{ 2^{n-1} } $ eşitsizliğinin ispatı

Question

daha önce soruldu mu bakamadım ama,