int(polylog(s,1/2)-1/2,s=0..infinity)