>>696
 X = 1/x, Y = 1/f(x) とおくと
 Y = (1/n)^X = exp(-log(n)・X)

 Y=X との交点を (p,p) とすると p = log(n)/W(log(n)),
 -1 < (Y-p)/(X-p) < 0,
 交点に近づく方向…