Step
*
3
of Lemma
cantor-middle-third-lemma
1. x : ℝ
2. a : ℝ
3. b : ℝ
4. [%] : a < b
5. [%1] : (a ≤ x) ∧ (x ≤ b)
6. x < (a + 2 * b)/3
⊢ a ≤ x
BY
{ (Unhide THEN Auto) }
Latex:
Latex:
1. x : \mBbbR{}
2. a : \mBbbR{}
3. b : \mBbbR{}
4. [\%] : a < b
5. [\%1] : (a \mleq{} x) \mwedge{} (x \mleq{} b)
6. x < (a + 2 * b)/3
\mvdash{} a \mleq{} x
By
Latex:
(Unhide THEN Auto)
Home
Index