Time of the Brownian maximum (source code)

= Time of the Brownian maximum
{title2=$M^*$}

Brownian motion attains its maximum on $[0,1]$ at a unique time $M^*$ almost surely. This time has the arcsine distribution
$$
\mathbb P(M^*\leq s)=\frac2\pi\arcsin\sqrt s,
\qquad 0\leq s\leq1.
$$