Step
*
1
1
1
1
1
1
of Lemma
Raabe-test
lim n→∞.(r(n)/r(n + 1)) = r1
BY
{ Assert ⌜lim n→∞.r1 - (r1/r(n + 1)) = r1 - r0⌝⋅ }
1
.....assertion..... 
lim n→∞.r1 - (r1/r(n + 1)) = r1 - r0
2
1. lim n→∞.r1 - (r1/r(n + 1)) = r1 - r0
⊢ lim n→∞.(r(n)/r(n + 1)) = r1
Latex:
Latex:
lim  n\mrightarrow{}\minfty{}.(r(n)/r(n  +  1))  =  r1
By
Latex:
Assert  \mkleeneopen{}lim  n\mrightarrow{}\minfty{}.r1  -  (r1/r(n  +  1))  =  r1  -  r0\mkleeneclose{}\mcdot{}
Home
Index