Put . The local logarithmic series givesFor the infinite Taylor series, it is necessary to distinguish the real domain of the logarithm, , from its convergence interval about zero. Write . The complex zeros of are for integers , so the nearest logarithmic singularity to zero is at . The radius of convergence is therefore , giving convergence for and divergence for .
The two endpoints need separate checking. Factor off the nearest singularity:The quotient has a nonzero removable value at ; its other zeros are at with . Consequently it has a holomorphic logarithm on a zero-free disk larger than , which is a simply connected domain, and the Taylor series of converges absolutely at both real endpoints. At , the remaining series converges by the alternating series test. At , it is and diverges. Thus the full real convergence set isConvergence is absolute in the open interval and conditional at the left endpoint, where the sum equals . This endpoint distinction is an instance of isolating a logarithmic singularity to test a power-series endpoint.