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

и, соответственно,

, то в конце концов

Надо, чтобы меняла знак самая последняя скобка (т.к. все остальное в совокупности откровенно неотрицательно). Конечно, явно решить неравенство

вряд ли удастся. Но от Вас ведь и не требуют находить локальный минимум -- надо лишь определить область значений

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

корни:

. Т.е. локальный минимум будут существовать при

или при

.