---

Step * of Lemma converges-to-sine-ext

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

---

Latex:

---

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


By

---

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

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

---

Home Index