Let $W_t$ be a standard Wiener process, i.e., with $W_0=0$. If $W_1>0$, what is the probability that $W_2<0$?
This is my attempt: we want to determine the conditional probability $$\mathbb P(W_2 | W_1>0) = \frac{\mathbb P(W_2<0 \cap W_1>0)}{\mathbb P(W_1>0)}.$$
The denominator is easily computed equal to $1/2$. It remains to find $\mathbb P(W_2<0 \cap W_1>0)$.
Now, it is a well known fact that $(W_1, W_2)$ is jointly normally distributed, so we can write
$$ \mathbb P(W_2<0 \cap W_1>0) = \mathbb P((W_1, W_2)\in ((0, \infty) \times (-\infty, 0)).$$
Also, it is not difficult to determine the covariance matrix of the random vector $(W_1, W_2)$, so the joint normal density can be completely determined. However, from this point on I don't know how to proceed. It seems an integration on the IVth quadrant of this density is necessary, but I was wondering if there is a less pedantic, more intelligent method.