Question 13Prove that $$ \sum_{k=0}^{n} (n + 1 - k) \sin((2k + 1)x) \geq 0, \quad \forall x \in [0, \pi]. $$