sum k for k = 1 to inf