>>103
y_n(x)=log{(1+e^(-nx))/(1-e^(-nx))}-x
として
y_n > y_(n+1)
を示せば、y_n(x)の単調減少性からx(n) > x(n+1)としてよいですか？