---

Step * of Lemma converges-to-cosine-ext

∀x:ℝ. lim n→∞.if n=0  then r0  else (cosine((x within 1/n)) within 1/n) = cosine(x)
BY
{ Extract of Obid: converges-to-cosine
  normalizes to:
  
  λx,k. (2 * k)
  finishing with Auto }

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  lim  n\mrightarrow{}\minfty{}.if  n=0    then  r0    else  (cosine((x  within  1/n))  within  1/n)  =  cosine(x)


By

---

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

\mlambda{}x,k.  (2  *  k)
finishing  with  Auto

---

Home Index