Let $$\tau_{a} = \inf\{t>0 : W_{t} + at = 5\}.$$ Prove that $\mathbb{P}(\tau_{a}<\infty) = 1$ for $a\ge0.$
My solution:
We know that $W_{0} +a*0 < 5$. Furthermore, because $W_{t} \sim \sqrt{2tlnlnt}$, we can say that $W_{t} + at \xrightarrow{t \rightarrow\infty}\infty$. And that is why $\mathbb{P}(\tau_{a}<\infty) = 1.$
My question is whether it can be solved like this. I'm not sure about using $W_{t} \sim \sqrt{2tlnlnt}$.