Convergent power series/R/Primitive function/Fact