неравенство:
arccos x/2<arccosx

ОДЗ функции х=-1....1. Неравенство верно при х<0, так как при этом косинус половины аргумента идёт идёт более полого, чем косинус целого аргумента.

Пишите, если ещё будут вопросы