---

Step * of Lemma r-archimedean2

∀x:ℝ. ∃N:ℕ. ∀n:{N...}. (|(x/r(n + 1))| ≤ (r1/r(2)))
BY
{ Auto }

1
1. x : ℝ
⊢ ∃N:ℕ. ∀n:{N...}. (|(x/r(n + 1))| ≤ (r1/r(2)))

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  \mexists{}N:\mBbbN{}.  \mforall{}n:\{N...\}.  (|(x/r(n  +  1))|  \mleq{}  (r1/r(2)))


By

---

Latex:
Auto

---

Home Index