Bonjour,
Je ne suis pas matheux, je bricole simplement, mais, en attendant mieux...
En espérant avoir bien lu, je pars de x/(x²+1)*ln(cosh(x)-1).
cosh(x)-1=2sinh²(x/2)
Donc ln(cosh(x)-1)=ln(2sinh²(x/2))=ln(2)+2ln(sinh(x/2))
Quand x tend vers l'infini, sinh(x/2) se comporte comme (est équivalent à ?) ex/2/2.
Au total, je te laisse vérifier que, compte tenu du fait que x/(x²+1) fait tendre vers 0 les termes constants restants, il ne subsiste que x/(x²+1)*x qui tend donc vers 1.