---

Step * of Lemma r-archimedean-implies

∀x:ℝ. ∀m:ℕ+.  ∃M:ℕ+. (((r1/r(M)) * x) ≤ (r1/r(m)))
BY
{ Auto }

1
1. x : ℝ
2. m : ℕ+
⊢ ∃M:ℕ+. (((r1/r(M)) * x) ≤ (r1/r(m)))

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  \mforall{}m:\mBbbN{}\msupplus{}.    \mexists{}M:\mBbbN{}\msupplus{}.  (((r1/r(M))  *  x)  \mleq{}  (r1/r(m)))


By

---

Latex:
Auto

---

Home Index