Прежде чем доказывать что-то интересное, обратите внимание, что почти наверняка для всех не является необходимым условием для того, чтобы оба утверждения имели смысл, что иллюстрирует детерминированная последовательность .i ( - 1 , - 1 , 1 , 1 , 1 , … )Xi>0i(−1,−1,1,1,1,…)
Более того, утверждение действительно неверно в целом, как доказывает следующая детерминированная последовательность: .(0,1,1,…)
Теперь предположим, что почти наверняка для всех , тогда утверждение верно по следующему аргументу:яXi>0i
ОпределитеПо совпадению , почти наверняка. Таким образом, почти наверняка в результате для Cesaro означает также доказанное в комментариях выше. Таким образом, по непрерывности , почти наверняка.x↦log(x)log(Xn)→log(X)Sn→log(X)x↦exp(x)( n ∏ i = 1 Xi)1/n→X,
Sn=1n∑i=1nlog(Xi).
x↦log(x)log(Xn)→log(X)Sn→log(X)x↦exp(x)(∏i=1nXi)1/n→X,