Step * of Lemma sine-exists-ext

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


Latex:


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


By


Latex:
...




Home Index