limit 2^(-s) ((2^s - 2) ζ'(s) + log(4) ζ(s)),s=1