Из последнего неравенства получается:
tg(f) >= 1, cos(f) > 0.
Дальше всё должно быть просто.