{Doka�te nerovnost:
   $$
      \Biggl| \sin \biggl( \sum_{k=1}^n x_k \biggr) \Biggr| \le \sum_{k=1}^n \sin x_k,
      \qquad 0\le x_k\le\pi.
   $$}