 Solution

Take $L>0$, as needed for a nontrivial interval. Since $X$ is continuous and adapted, for every level $a$ and $t\ge 0$,The infimum is attained on this compact interval and can be computed on the countable dense set $(\mathbb{Q}\cap [0,t])\cup \{t\}$. It is therefore ${\mathcal{F}}_t$-measurable. Thus $T_a$ is a stopping time, and so is $T=T_{-L}\wedge T_L$, because $\{T\le t\}=\{T_{-L}\le t\}\cup \{T_L\le t\}$.

By continuity, $X_{t\wedge T}\in [-L,L]$, even before knowing that $T$ is finite. HenceStopping preserves the local martingale property. The bounded local martingale criterion now shows that $M^T=(M_{t\wedge T}{)}_{t\ge 0}$ is a uniformly integrable martingale; its deterministic bound also gives square integrability. In particular,