This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
world:forward-downward-martingale [2026/02/07 15:02] rdouc |
world:forward-downward-martingale [2026/02/07 15:03] (current) rdouc |
||
|---|---|---|---|
| Line 76: | Line 76: | ||
| By the monotone convergence theorem, | By the monotone convergence theorem, | ||
| $$ | $$ | ||
| - | \mathbb E[U_\infty[a,b]]<\infty, | + | \mathbb E[U_{0:\infty}[a,b]]<\infty, |
| $$ | $$ | ||
| which implies that the total number of upcrossings is almost surely finite. | which implies that the total number of upcrossings is almost surely finite. | ||