Doob's Optional Stopping Theorem/Discrete Time