---

Step * 1 1 of Lemma triangular-reciprocal-series-sum

.....assertion..... 
lim n→∞.r(2) - (r(2)/r(n + 2)) = r(2) - r0
BY
{ (BLemma `rsub-limit`  THEN Auto) }

1
lim n→∞.(r(2)/r(n + 2)) = r0

---

Latex:

---

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


By

---

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

---

Home Index