Real power series/Convergence/Continuous function/Fact