lim n->inf (log(2n+1)-HarmonicNumber[n])