sum 1/(n*(H_n)^2) from n=1 to inf