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