Obviously
AN=Nln2Nk=2∑N−2lnk⋅ln(N−k)1≥Nln2N⋅ln2NN−3=1−N3.(1)
Take M, 2≤M<N/2. Then using that
lnk⋅ln(N−k)1 is decreasing in [2,N/2] and the
symmetry with respect to N/2 one get
AN=Nln2N{k=2∑M+k=M+1∑N−M−1+k=N−M∑N−2}lnk⋅ln(N−k)1≤≤Nln2N{2ln2⋅ln(N−2)M−1+lnM⋅ln(N−M)N−2M−1}≤≤ln22⋅NMlnN+(1−N2M)lnMlnN+O(lnN1).
Choose M=[ln2NN]+1 to get
AN≤(1−Nln2N2)lnN−2lnlnNlnN+O(lnN1)≤1+O(lnNlnlnN).(2)
Estimates (1) and (2) give
N→∞limNln2Nk=2∑N−2lnk⋅ln(N−k)1=1.