Tétel
limsup n_sqrt(abs(a_n))<1 ⇒sum a_n n=0→♾️ konvergens ∧ limsup n_sqrt(abs(a_n))>1 ⇒ sum a_n n=0 →♾️ divergens
Bizonyitás
limsup n_sqrt(abs(a_n))<1 ⇒ ∃ q limsup n_sqrt(abs(a_n))<q<1 ⇒ ∃ N ∀n>N n_sqrt(abs(a_n))<q ⇒ ∃ N ∀n>N abs(a_n)<q^n
q<1 ⇒ q^n konvergens ⇒ sum q^n n=0→♾️ kovergens
sum q^n n=0→♾️ kovergens ∧ ∀n>N 0<abs(a_n)<q^n ⇒ abs(a_n) konvergens ⇒ sum a_n n=0→♾️
limsup n_sqrt(abs(a_n))>1 ⇒ ∃ q limsup n_sqrt(abs(a_n))>q>1 ⇒ ∃ ♾️ tag úgy hogy abs(a_n)>q^n
q>1 ⇒ q^n divergens ⇒ sum q^n n=0→♾️divergens
sum q^n n=0→♾️divergens ∧ ∃ ♾️ tag úgy hogy abs(a_n)>q^n ⇒¬a_n→0 ⇒ abs(a_n) divergens⇒ sum a_n n=0→♾️divergens