---

Step * of Lemma integer-bound

∀x:ℝ. ∃n:ℕ+. (|x| ≤ r(n))
BY
{ (Auto THEN With ⌜canonical-bound(|x|)⌝ (D 0)⋅ THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  \mexists{}n:\mBbbN{}\msupplus{}.  (|x|  \mleq{}  r(n))


By

---

Latex:
(Auto  THEN  With  \mkleeneopen{}canonical-bound(|x|)\mkleeneclose{}  (D  0)\mcdot{}  THEN  Auto)

---

Home Index