---

Step * 3 1 2 1 of Lemma Raabe-test


1. N : ℕ
⊢ Σn.(r1/r((N + 1) + n))↑
BY
{ (InstLemma `series-diverges-tail-iff` [⌜λ2n.(r1/r(n + 1))⌝;⌜N⌝]⋅ THENA Auto) }

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

---

Latex:

---

Latex:

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


By

---

Latex:
(InstLemma  `series-diverges-tail-iff`  [\mkleeneopen{}\mlambda{}\msubtwo{}n.(r1/r(n  +  1))\mkleeneclose{};\mkleeneopen{}N\mkleeneclose{}]\mcdot{}  THENA  Auto)

---

Home Index