RSolve[f[n+1]-f[n]==-Log[2]/2^n,f[n],n]