(ln(x+sqrt(x^2+1)))'<0