Category:Doob's Optional Stopping Theorem for Stopped Sigma-Algebra of Bounded Stopping Time