---

Step * of Lemma rmaximum-select

∀n,m:ℤ.  ∀x:{n..m + 1-} ⟶ ℝ. ∀e:ℝ.  ((r0 < e) ⇒ (∃i:{n..m + 1-}. ((rmaximum(n;m;i.x[i]) - e) < x[i]))) supposing n ≤ m
BY
{ xxxRepeatFor 3 ((D 0 THENA Auto))xxx }

1
1. n : ℤ
2. m : ℤ
3. n ≤ m
⊢ ∀x:{n..m + 1-} ⟶ ℝ. ∀e:ℝ.  ((r0 < e) ⇒ (∃i:{n..m + 1-}. ((rmaximum(n;m;i.x[i]) - e) < x[i])))

---

Latex:

---

Latex:
\mforall{}n,m:\mBbbZ{}.
    \mforall{}x:\{n..m  +  1\msupminus{}\}  {}\mrightarrow{}  \mBbbR{}.  \mforall{}e:\mBbbR{}.    ((r0  <  e)  {}\mRightarrow{}  (\mexists{}i:\{n..m  +  1\msupminus{}\}.  ((rmaximum(n;m;i.x[i])  -  e)  <  x[i]))) 
    supposing  n  \mleq{}  m


By

---

Latex:
xxxRepeatFor  3  ((D  0  THENA  Auto))xxx

---

Home Index