Step * 1 1 1 1 1 1 1 of Lemma Raabe-test

.....assertion..... 
lim n→∞.r1 (r1/r(n 1)) r1 r0
BY
(BLemma `rsub-limit` THEN Auto) }


Latex:


Latex:
.....assertion..... 
lim  n\mrightarrow{}\minfty{}.r1  -  (r1/r(n  +  1))  =  r1  -  r0


By


Latex:
(BLemma  `rsub-limit`  THEN  Auto)




Home Index