---

Step * 1 1 1 of Lemma fastpi-converges


1. k : ℕ+
2. v : {n:ℕ| k ≤ 10^20^3^n} 
3. cubic_converge(10^20;k) = v ∈ {n:ℕ| k ≤ 10^20^3^n} 
⊢ k ≤ 10^20 * 3^v
BY
{ (D 2 THEN (Unhide THENA Auto)) }

1
1. k : ℕ+
2. v : ℕ
3. k ≤ 10^20^3^v
4. cubic_converge(10^20;k) = v ∈ {n:ℕ| k ≤ 10^20^3^n} 
⊢ k ≤ 10^20 * 3^v

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}\msupplus{}
2.  v  :  \{n:\mBbbN{}|  k  \mleq{}  10\^{}20\^{}3\^{}n\} 
3.  cubic\_converge(10\^{}20;k)  =  v
\mvdash{}  k  \mleq{}  10\^{}20  *  3\^{}v


By

---

Latex:
(D  2  THEN  (Unhide  THENA  Auto))

---

Home Index