sum 2^-n^2, n=1 to infinity