---

Step * 3 1 2 1 1 of Lemma Raabe-test


1. N : ℕ
2. Σn.(r1/r((N + n) + 1))↑ ⇐⇒ Σn.(r1/r(n + 1))↑
⊢ Σn.(r1/r((N + 1) + n))↑
BY
{ (RepeatFor 2 (D -1) THENA Auto) }

1
1. N : ℕ
2. Σn.(r1/r((N + n) + 1))↑ ⇒ Σn.(r1/r(n + 1))↑
3. Σn.(r1/r((N + n) + 1))↑
⊢ Σn.(r1/r((N + 1) + n))↑

---

Latex:

---

Latex:

1.  N  :  \mBbbN{}
2.  \mSigma{}n.(r1/r((N  +  n)  +  1))\muparrow{}  \mLeftarrow{}{}\mRightarrow{}  \mSigma{}n.(r1/r(n  +  1))\muparrow{}
\mvdash{}  \mSigma{}n.(r1/r((N  +  1)  +  n))\muparrow{}


By

---

Latex:
(RepeatFor  2  (D  -1)  THENA  Auto)

---

Home Index