両辺を書くと
C(2^r)-log(2^r)=1-(1/3-1/4)-2(1/5-1/6+1/7-1/8)+...+(r-1)/2^r-ε(r).
左辺はr→∞でγになる。