exp(sum(ln(k)/2^(k-1),k,2,8)+sum(1/k^2,k,9,inf))