Let $W$ be a standard Brownian motion. From an earlier proven result I know that $N_t = \exp\left\{a W_t - \frac12 a^2 t \right\}$ defines a martingale on the natural filtration of $W$ for all $a \in \mathbb{R}$. I now want to prove that for every $a>0$ the random variable $$ \sup_{t \geq 0} \left(W_t - \frac12 a t\right),$$ has an exponential distribution with parameter $a$.
To prove this I want to use another earlier proven result namely that $$ P\left( \sup_{t \geq 0 } M_t > x \mid \mathcal{F}_0 \right) = 1 \wedge \frac{M_0}{x} \quad\text{a.s.,} $$ for every $x>0$ and positive, continuous martingale $M_t$ that converges a.s. to zero as $t \rightarrow \infty$.
Yet I don't really see how I could combine these results as we are dealing with an exponential martingale $N_t$ which is indeed continuous and positive (does it converge to zero if $t$ tends to infinity?) hence we could use the statement: $$ P\left( \sup_{t \geq 0 } \exp\left\{a W_t - \frac12 a^2 t \right\} > x \mid \mathcal{F}_0 \right) = 1 \wedge \frac{1}{x} \quad\text{a.s.,}$$ but what does this say about the distribution of $\sup_{t \geq 0} \left(W_t - \frac12 a t\right)$?