sum from n=0 to inf of n