鞅的停时定理

$t$ 几乎必然有界；
$X_{i} - X_{i - 1}$ 一致有界，$E(t)$ 有限；
$X_i$ 一致有界，$t$ 几乎必然有限。
有限：不为无穷大
一致有界：存在一个界同时满足
https://www.cnblogs.com/apjifengc/p/16503779.html
https://blog.csdn.net/ez_lcw/article/details/122609409