Przed udowodnieniem czegoś interesującego, zauważ, że prawie na pewno dla wszystkich nie jest warunkiem koniecznym dla obu instrukcji, aby miały sens, co ilustruje sekwencja deterministyczna .i ( - 1 , - 1 , 1 , 1 , 1 , … )Xi>0i(−1,−1,1,1,1,…)
Co więcej, stwierdzenie to jest w rzeczywistości fałszywe, jak dowodzi następująca deterministyczna sekwencja: .(0,1,1,…)
Teraz załóżmy, że prawie na pewno dla wszystkich , to instrukcja jest prawdziwa, podając następujący argument:iXi>0i
ZdefiniujPrzez contuity z , prawie na pewno. Tak więc prawie na pewno przez wynik dla Cesaro oznacza również udowodnione w powyższych komentarzach. Zatem przez ciągłość , prawie na pewno.x↦log(x)log(Xn)→log(X)Sn→log(X)x↦exp(x) ( n ∏ i = 1 X i ) 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,