Источник TeX:

4\sin^2{\left(\frac{\pi}{n}\right)} - 1 \geq 0