If converges on for some then this function is
on this open interval i.e. infinitely differenciable and the derivative is given by term-by-term differenciation. This is just a result from analysis.
If are too huge then will only converge at but if they are bounded big enough then there will be an an interval centered at on which it converges.