solve(zeta(x)(1-2^(1-x))^2=pi^3/32)