Да, там эффект довольно тонкий (производные для синусов и для тангенсов в первом приближении сокращаются). Но всё-таки не так уж и до безумия всё сложно: если
и, соответственно,
, то в конце концов
Надо, чтобы меняла знак самая последняя скобка (т.к. все остальное в совокупности откровенно неотрицательно). Конечно, явно решить неравенство
вряд ли удастся. Но от Вас ведь и не требуют находить локальный минимум -- надо лишь определить область значений
, в которой этот минимум существует. Для этого нужно, чтобы производная в окрестности нуля (т.е. вблизи вертикали) была отрицательной; а это значит, что неравенство достаточно решать по первому приближению:
корни:
. Т.е. локальный минимум будут существовать при
или при
.