有界鞅上的 Azuma 界

设 M_0=0, M_1, M_2, ... 是增量对所有 k 满足 |M_k - M_{k-1}| <= 1 的鞅。用 Azuma-Hoeffding 不等式给出它对 P(M_100 >= 20) 所能提供的最优上界。