Below are sentensce taken from a paper.
"In fact, we are going to prove that
$$\forall t\in[0,T],\forall q\in\{-Q,...,Q\},\nu_q(t)\ge e^{-(\alpha Q^2-\eta)(T-t)} $$
If this was not true then there would exist \(\epsilon \gt0\) such that:
$$\min_{t,q}e^{-2\eta(T-t)}(v_q(t)-e^{-(\alpha*Q^2-\eta)(T-t)})+\epsilon (T-t) \lt 0$$
But this minimum is achieved at some point \(t^*,q^*\) with \(t^* \lt T\) and hence:
$$ \frac{d}{dt}e^{-2 \eta (T-t)}(\nu_q^*(t)-e^{-(\alpha Q^2- \eta)(T-t)})|_{t=t^*} \geq \epsilon$$
"
Note that Q takes discrete integer value above.
I don't understand in the last equation why the derivative is greater than a positive number. Instead, I think the minimum should be achieved when the derivative is zero.