>>69
log( x(n) + 1 ) ≦ x(n)
n*√( x(n)^2 - 1 ) ≦ x(n)
の２式からですか？

はさみうち使いますか？