Задача

№ 12241

Найдите минимальное натуральное число $n$, при котором система неравенств \[\cos x\geqslant\cos\left(x+\frac{1}{8}\right)\geqslant\cos\left(x+\frac{2}{8}\right)\geqslant\ldots\geqslant\cos\left(x+\frac{n}{8}\right)\] не имеет решений.
Ответ:
Решение: