I know that $\tan n,n\in\mathbb{Z}_+$ is dense on $\mathbb{R}$, so there's no lower bound for $\tan n$.
But what if add a positive sequence $n^p,p\geq0,n\in\mathbb{Z}_+$ that increased faster than $n\bmod2\pi$ approaching $\dfrac{π}{2}$?
Where is the critical value of $p$?
For $\pi/2=[a_1;a_2,a_3,\cdots ]$ a simple continued fraction,
$$1. \mbox{The $2k$-th convergent $p_{2k}/q_{2k}$ has odd denominator.}$$
$$\mbox{2. $a_{2k+1}\geq 2$, }$$
Then $\tan p_{2k} < -1.2 p_{2k}$. Thus, if it is known that 1, 2 happen infinitely often, then $\tan n < -1.2 n$ infinitely often.
– Sungjin Kim Jun 22 '18 at 13:07