Step * of Lemma cosine-exists-ext

x:ℝ. ∃a:ℝ. Σi.-1^i (x^2 i)/(2 i)! a
BY
... }


Latex:


Latex:
\mforall{}x:\mBbbR{}.  \mexists{}a:\mBbbR{}.  \mSigma{}i.-1\^{}i  *  (x\^{}2  *  i)/(2  *  i)!  =  a


By


Latex:
...




Home Index