---

Step * of Lemma fastpi-converges-ext

lim n→∞.fastpi(n) = π/2(slower)
BY
{ Extract of Obid: fastpi-converges
  normalizes to:
  
  λk.cubic_converge(100000000000000000000;k)
  
  not unfolding cubic_converge 
  finishing with Auto }

---

Latex:

---

Latex:
lim  n\mrightarrow{}\minfty{}.fastpi(n)  =  \mpi{}/2(slower)


By

---

Latex:
Extract  of  Obid:  fastpi-converges
normalizes  to:

\mlambda{}k.cubic\_converge(100000000000000000000;k)

not  unfolding  cubic\_converge 
finishing  with  Auto

---

Home Index