sum n=0 to inf n