---

Step * 1 2 1 1 of Lemma rcos-seq-converges


1. ∀n:ℕ+. ((rcos-seq(n + 1) - rcos-seq(n)) ≤ ((r1/r(3164556962025316455)) * (rcos-seq(n) - rcos-seq(n - 1))))
⊢ 15 + 4 < (r1/r(1000000000)) 10^10
BY
{ Auto }

---

Latex:

---

Latex:

1.  \mforall{}n:\mBbbN{}\msupplus{}
          ((rcos-seq(n  +  1)  -  rcos-seq(n))  \mleq{}  ((r1/r(3164556962025316455))
          *  (rcos-seq(n)  -  rcos-seq(n  -  1))))
\mvdash{}  15  +  4  <  (r1/r(1000000000))  10\^{}10


By

---

Latex:
Auto

---

Home Index