>>64

1 < x(n) はいいよね。

一方、不等式 log(x+1) ≦ x が成り立つので、　log( x(n) + 1 ) ≦ x(n) 。
よって n*√( x(n)^2 - 1 ) ≦ x(n) 。

ここから x(n) ≦ (1に収束する式) が作れそうだよ。