Lemma. If x1, then

nx1n= log x+γ+O(1x),

where γ is Euler’s constant, which is given by γ=limNk=1N1k log N.