KöMaL 2018 C1482

Prove that $\big|2\sin x +\sin {(2x)}\big| < \frac{3+2\sqrt2}{2}\,.$

Official text KöMaL. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.