Skip to main content
2 of 7
I relaxed assumptions

I assume that $(a_n)_{n \ge 1}$ are random variables taking values on a finite subset $B$, and that $\nu_l(b) \le P[a_n = b|a_1,\ldots,a_{n-1}] \le \nu_u(B)$ almost surely for every $n \ge 1$ and $b \in B$.

If yes, then for each $b \in B$, the formula $$M_n(b) := \sum_{k=1}^n\frac{1}{k}\big(1_{[a_k=b]}-P[a_k = b|a_1,\ldots,a_{k-1}]\big)$$ defines a square-integrable martingale. This martingale has orthogonal increments and is bounded in $L^2(P)$, since $$E\Big[\frac{1}{k^2}\big(1_{[a_k=b]}-P[a_k = b|a_1,\ldots,a_{k-1}]\big)^2\Big] \le \frac{1}{4k^2}.$$ Hence it converges almost surely and in $L^2$.

We deduce that the averages
$$\frac{S_n(b)}{n} := \frac{1}{n}\sum_{k=1}^n \big(1_{[a_k=b]}-P[a_k = b|a_1,\ldots,a_{k-1}]\big)$$ converge almost surely to $0$, by Cesàro lemma since $$\frac{S_n(b)}{n} = \frac{1}{n}\sum_{k=1}^n k(M_n(b)-M_{n-1}(b)) = \frac{1}{n}\Big(nM_n(b) - \sum_{k=0}^{n-1}M_k(b)\Big).$$

As a result, the averages $\frac{S_n(b)}{n}$ and $\frac{1}{n}\sum_{k=1}^n P[a_k = b|a_1,\ldots,a_{k-1}]$ have the same limit points as $n \to +\infty$, which belong to $[\nu_l(b),\nu_u(b)]$