In this section, define
(Doob's Inequality), Suppose is a submartingale, then
Proof. Define
On , , On , , then
Suppose , then for ,
Proof.