---

Step * 1 of Lemma rmin-rnexp


1. n : ℕ
2. x : ℝ
3. y : ℝ
4. r0 ≤ x
5. r0 ≤ y
⊢ rmin(x^n;y^n) ≤ rmin(x;y)^n
BY
{ (NatInd 1 THEN Reduce 0)⋅ }

1
1. n : ℤ
2. x : ℝ
3. y : ℝ
4. r0 ≤ x
5. r0 ≤ y
⊢ rmin(r1;r1) ≤ r1

2
.....upcase..... 
1. x : ℝ
2. y : ℝ
3. r0 ≤ x
4. r0 ≤ y
5. n : ℤ
6. 0 < n
7. rmin(x^n - 1;y^n - 1) ≤ rmin(x;y)^n - 1
⊢ rmin(x^n;y^n) ≤ rmin(x;y)^n

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
2.  x  :  \mBbbR{}
3.  y  :  \mBbbR{}
4.  r0  \mleq{}  x
5.  r0  \mleq{}  y
\mvdash{}  rmin(x\^{}n;y\^{}n)  \mleq{}  rmin(x;y)\^{}n


By

---

Latex:
(NatInd  1  THEN  Reduce  0)\mcdot{}

---

Home Index