sum of(H_k) for k=0 to n