---

Step * of Lemma rmax_strict_lb

∀x,y,z:ℝ.  ((x < z) ∧ (y < z) ⇐⇒ rmax(x;y) < z)
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. x < z
5. y < z
⊢ rmax(x;y) < z

2
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. rmax(x;y) < z
⊢ x < z

3
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. rmax(x;y) < z
⊢ y < z

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbR{}.    ((x  <  z)  \mwedge{}  (y  <  z)  \mLeftarrow{}{}\mRightarrow{}  rmax(x;y)  <  z)


By

---

Latex:
Auto

---

Home Index