Doob's Optional Stopping Theorem for Stopped Sigma-Algebra of Bounded Stopping Time/Discrete Time