sum binom(1/2,j)((-1)^j/(1+2j))