---

Step * 1 1 1 1 1 2 1 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 2 1 1 of Lemma Rolles-theorem


1. k : ℕ+
2. v1 : ℝ
3. z : ℝ
4. r0 < z
5. |v1| ≤ (z/r(2 * k))
6. ((z/r(k)) ≤ v1) ∨ (v1 ≤ -((z/r(k))))
7. (z/r(2 * k)) < (z/r(k))
8. v1 ≤ |v1|
9. -(v1) ≤ |v1|
⊢ False
BY
{ (D -4 THEN Auto) }

1
1. k : ℕ+
2. v1 : ℝ
3. z : ℝ
4. r0 < z
5. |v1| ≤ (z/r(2 * k))
6. v1 ≤ -((z/r(k)))
7. (z/r(2 * k)) < (z/r(k))
8. v1 ≤ |v1|
9. -(v1) ≤ |v1|
⊢ False

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}\msupplus{}
2.  v1  :  \mBbbR{}
3.  z  :  \mBbbR{}
4.  r0  <  z
5.  |v1|  \mleq{}  (z/r(2  *  k))
6.  ((z/r(k))  \mleq{}  v1)  \mvee{}  (v1  \mleq{}  -((z/r(k))))
7.  (z/r(2  *  k))  <  (z/r(k))
8.  v1  \mleq{}  |v1|
9.  -(v1)  \mleq{}  |v1|
\mvdash{}  False


By

---

Latex:
(D  -4  THEN  Auto)

---

Home Index