Taylor series

Stream: general

[Scott Morrison]

If I asked the analysis corner of the library to prove that the Taylor series for t ↦ √(ε²+t) around t=1/2 converged uniformly on [0,1], how hard would I expect it to be? Sadly we have no complex analysis whatsoever.

[Yury G. Kudryashov]

@Sebastien Gouezel wrote some general theory about analytic functions in terms of continuous multilinear maps but at the moment we have no glue to single variable or multivariable series in normed algebras.