Proving that $0 \leq k \sin\left(\frac{2\pi}{n}\right) - \sin\left(\frac{2\pi k}{n}\right)$ I need help proving that
$$
0 \leq k \sin\left(\frac{2\pi}{n}\right) - \sin\left(\frac{2\pi k}{n}\right)
$$
For $n > 2$ and positive $k$.
I've tried all sorts of identities, and nothing have worked. Any help would be greatly appreciated.
The things I have tried are the following:
Using a identity for multiples angle formula:
$$
k\sin \left(\frac{2 \pi}{n}\right)  >\sin\left(k\cdot\frac{2 \pi }{n}\right)=2^{k -1}\prod_{i=0}^{k-1}\sin \left(\frac{\pi i}{k}+\frac{2 \pi }{n}\right)
$$
$$
k \geq 2^{k -1}\prod_{i=1}^{k-1}\sin \left(\frac{\pi i}{k}+\frac{2 \pi }{n}\right)
$$
Which I could not make sense of.
I also tried rewriting the inequality
$$
k\sin \left(\frac{2 \pi}{n}\right)  +\sin \left(\frac{2 \pi (n -k)}{n}\right)>0
$$
Which got me here:
$$\begin{split}
&=(k-1)\sin \left(\frac{2 \pi}{n}\right)+\sin \left(\frac{2 \pi}{n}\right)+\sin \left(\frac{2 \pi (n -k)}{n}\right)\\
&=(k-1)\sin \left(\frac{2 \pi}{n}\right)+2\sin \left(\frac12\left[\frac{2 \pi}{n}+\frac{2 \pi (n -k)}{n}\right]\right)\sin \left(\frac12\left[\frac{2 \pi}{n}-\frac{2 \pi (n -k)}{n}\right]\right)
\end{split}$$
But I could not make that work either.

Assume $0 < k \le 1$ and $n \ge 4$. Put $x = \dfrac{2\pi k}{n} \implies k = \dfrac{nx}{2\pi}$. Thus you prove: $\dfrac{\sin\left(\frac{2\pi}{n}\right)}{\frac{2\pi}{n}} \le \dfrac{\sin x}{x}$. But the function $ f(x) = \dfrac{\sin x}{x}$ on $\left(0,\frac{2\pi}{n}\right]$ has $f’(x) = \dfrac{x\cdot \cos x - \sin x}{x^2} < 0$ since $\tan x > x$ on this same domain of $x$. Thus $f$ is a decreasing function and you have $f(x) \ge f\left(\frac{2\pi}{n}\right)$ since $0 < x < \frac{2\pi}{n}$. Done.
Note:The inequality reverses when $k < 1$.
