---

Step * of Lemma rmin-lb-convex

∀a,b,t:ℝ.  ((r0 ≤ t) ⇒ (t ≤ r1) ⇒ (rmin(a;b) ≤ ((t * a) + ((r1 - t) * b))))
BY
{ Auto }

1
1. a : ℝ
2. b : ℝ
3. t : ℝ
4. r0 ≤ t
5. t ≤ r1
⊢ rmin(a;b) ≤ ((t * a) + ((r1 - t) * b))

---

Latex:

---

Latex:
\mforall{}a,b,t:\mBbbR{}.    ((r0  \mleq{}  t)  {}\mRightarrow{}  (t  \mleq{}  r1)  {}\mRightarrow{}  (rmin(a;b)  \mleq{}  ((t  *  a)  +  ((r1  -  t)  *  b))))


By

---

Latex:
Auto

---

Home Index