I am currently reading a proof that uses the following fact without proof:
If $B$ is a scalar standard Brownian motion, then $\int_0^\infty e^{B_s} \,ds = + \infty$ a.s..
How can we justify this fact? I don't see how this follows from any property of Brownian motion.
Let $A$ be the event that $\int_0^\infty e^{B_t} \,dt < +\infty$. By the Kolomorgov 0-1 law, $P(A) = 0$ or $1$.
Now let $B$ be the event that $\int_0^\infty e^{-B_t}\,dt < +\infty$. By symmetry, $P(A) = P(B)$. Moreover, on $A \cap B$ we have $$\int_0^\infty (e^{B_t} + e^{-B_t}) \,dt < +\infty$$ which is absurd since $e^x + e^{-x} \ge 1$ for all $x$. So $A \cap B = \emptyset$. This makes it impossible that $P(A) = P(B) = 1$, so we must have $P(A) = 0$.
Another approach (more involved) is to use recurrence and the strong Markov property to show that almost surely, there are infinitely many disjoint intervals of length 1 on which $B_t$ stays above $-1$.