Thanks! I wonder why the example of a smooth function with a diverging Taylor series here is so much more complicated than arctan.