Square-root stock supermartingale
= Square-root stock supermartingale
{title2=$dU=\tfrac12U\sigma dW-\tfrac18U\sigma^2dt$}
For a positive stock satisfying $dS=S\sigma\,dW$, the <Itô formula> gives $d\sqrt S=\tfrac12\sqrt S\sigma dW-\tfrac18\sqrt S\sigma^2dt$. Localization and the conditional <Fatou lemma> make this nonnegative local supermartingale a true <supermartingale>.