Proof that the stopping time for a Brownian Motion is finite for given target levels

Question

Given a standard brownian motion $W_t$ and defining $\tau$ as:

$\tau :=inf\{t\geq0:W_t=1$ or $W_t=-2\}$

The proof below shows that the stopping time is finite:

$P(\tau < t) \geq (|W_t|>2)\\$

$=1-P(|W_t| \leq 2)\\$

$\geq1-4\frac{d}{dt}P(W_t \leq t)|_{t=0}$

$=1-\frac{4}{\sqrt{2 \pi t}}$

$\rightarrow 1$ as $t\rightarrow \infty$

It's all staighforward except the line were the derivative is used:

$\geq1-4\frac{d}{dt}P(W_t \leq t)|_{t=0}$

How does this line relate to the line above?

Answer 1

I think all they are doing is integrating and estimating

$$P(|W_t| \leq 2) = \int_{-2}^{2} \frac{d}{dr} P(W_t \leq r) dr $$

so $$ P(|W_t| \leq 2) \leq 4 \sup \limits_{r \in [-2,2]} \frac{d}{dr}P(W_t \leq r) $$ The normal density is maximal at zero and we are done.