>>8の続き

(2)についてx≒0のとき、log(1+x)≒x・・・(3)

前置きとして
log n=log{(n/(n−1)}{(n−1)/(n−2)}・・・{3/2}{2/1}
∴ log n=log{1+1/(n−1)}+log{1+1/(n−2)}+・・・+log{1+1/1}
(3)より
log n≒1/(n−1)+1/(n−2)+・・・+1/1・・・(4)
∴ log n≒1/(n−1)+・・・+1/k+{1/(k−1)+・・・+1/1}・・・(5)
(4)、(5)より
log n≒1/(n−1)+・・・+1/k+log k
log n − log k ≒ 1/(n−1)+・・・+1/k
∴ log(n/k)≒1/k+1/(k+1)+・・・+1/(n−1)・・・(6)
>>5の(1)と(6)より
P=(k/n)log(n/k)