= Solution
The endpoint value printed in this part is erroneous. The correct conclusion is
$$
\boxed{\lim_{t\uparrow1}X_t=0\quad\text{almost surely}}.
$$
Already $\mathbb EX_t^2=t(1-t)\to0$ gives <convergence in probability> to zero and rules out an almost sure limit of one.
To prove the stronger endpoint convergence, use <time reversal of a Brownian bridge>. Set $Y_t=X_{1-t}$, including $Y_0=X_1=0$. Both $X$ and $Y$ are centered <Gaussian processes>, and for $s\le t$,
$$
\mathbb E[Y_sY_t]=(1-t)\bigl(1-(1-s)\bigr)=s(1-t).
$$
They therefore have the same finite-dimensional distributions. The path of $X$ is continuous at zero, since its <stochastic integral> is continuous there. In particular its values at positive rational times tend to zero at zero with probability one. Equality of the laws on the countable rational coordinates transfers this event to $Y$. The path of $Y$ is continuous at every time in $(0,1]$, so its supremum on any interval bounded away from zero is determined by rational times. The rational endpoint condition consequently implies $Y_t\to0$ as $t\downarrow0$ along all real times. Hence $X_t\to0$ as $t\uparrow1$, and setting $X_1=0$ gives a continuous version on the whole closed interval. This proof uses equality of coordinate laws, without assuming terminal continuity in advance.
Back to article page
