The element is by definition the sum of the power series . Thus . This is a scalar-valued power series in with infinite radius of convergence, so it can be differentiated term by term and is analytic throughout . If in addition it never takes the value zero, then its logarithm can be defined as an entire function.