---

Step * of Lemma triangular-reciprocal-series-sum

Σn.(r1/r(t(n + 1))) = r(2)
BY
{ Assert ⌜lim n→∞.r(2) - (r(2)/r(n + 2)) = r(2)⌝⋅ }

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

2
1. lim n→∞.r(2) - (r(2)/r(n + 2)) = r(2)
⊢ Σn.(r1/r(t(n + 1))) = r(2)

---

Latex:

---

Latex:
\mSigma{}n.(r1/r(t(n  +  1)))  =  r(2)


By

---

Latex:
Assert  \mkleeneopen{}lim  n\mrightarrow{}\minfty{}.r(2)  -  (r(2)/r(n  +  2))  =  r(2)\mkleeneclose{}\mcdot{}

---

Home Index