---

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


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))↑
BY
{ (MoveToConcl (-1) THEN BLemma `series-diverges_functionality` THEN Auto) }

---

Latex:

---

Latex:

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


By

---

Latex:
(MoveToConcl  (-1)  THEN  BLemma  `series-diverges\_functionality`  THEN  Auto)

---

Home Index