uno spazio misurato. Se
è un processo di Bernoulli di parametro
, e per ogni intero
consideriamo una sequenza
, allora, dato l'evento
l'evento
è certo. (Ossia: qualunque sequenza si scelga, per quanto lunga, essa appare prima o poi nel processo di Bernoulli).Corollario: nell'espansione in base 2 di
è contenuto il sorgente di Windoz. 

, per ogni
, esiste
tale che
?![Clicca sulla formula per vedere il codice LaTeX $Y_1=[X_1;...;X_h]; Y_2=[X_{h+1};...;X_{2h}];...;Y_n=[X_{(n-1)h+1};...;X_{nh}];...$](/forum/latexrender/pictures/e/0/1/e01768452f1f89c4d168d96200152549.gif)
copie della legge di Bernoulli di parametro
degli insiemi:
sono indipendenti (per composizione poichè lo sono le
). Se consideriamo il blocco
questo è un processo di Bernoulli di parametro
dove
, quindi l'evento
che è l'evento "esiste un successo nel processo
" è quasi certo (poichè
), allora per isotonia della probabilità:
