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