からしゅれに右連続非負値submartingaleはclass DLであるという主張があって，同様に右連続martingaleもclass DLとなることが言える．証明 a>0を固定し，となるstopping timeの族をとする．定義よりが一様可積分であることを示せばよい．Jensenの不等式より…