Оценки в тригонометрии

Так как

то при любом значении . Равенство же достигается тогда и только тогда, когда

Первое уравнение этой системы является следствием второго, ведь при верно , а при это тоже верно в силу основного тригонометрического тождества.

Так что система равносильна

В итоге или .