Let $X_t$ be a continuous non-negative martingale with $\lim_{t\to \infty}X_t=0$ a.s. and $X_0 = 1$.
Then how to show \begin{equation} P(\sup X_t\ge x)=\frac1x \end{equation} for any $x\ge1$ and $t\ge 0$?
I want to introduce stopping time $T_x$, but clearly I can not use optional stopping time here ($T_x$ is not a.s. finite). What should I do?