Вы написали и правда ерунду. Во-первых, я вам предложил "конкретное"

взять. А дальше оценить каждое слагаемое. Ну например, каждое слагаемое явно больше, чем

(это если

). Ну и дерзайте дальше
Арктангенс в знаменателе откуда? Аккуратнее.
Хм, ну да, куда-то не туда меня понесло, хотя вроде неравенство-то справедливо?
Ладно, даже если сделать так так:

Все равно нужно как-то оценить арктангенс снизу..Хотя и при стремлении аргумента к нулю арктангенс эквивалентен ему, но что бы я не делал, вольфрам все равно считает аргумент большим, чем арктангенс..Как быть, ведь нужно найти какое-то конкретное значение

?