Tenemos la indeterminación de tipo
oo/oo,
tal que el límite para el numerador es
$$\lim_{x \to \infty}\left(x \log{\left(\cosh{\left(x \right)} \right)}\right) = \infty$$
y el límite para el denominador es
$$\lim_{x \to \infty} \frac{1}{\sin{\left(\frac{1}{x^{2}} \right)}} = \infty$$
Vamos a probar las derivadas del numerador y denominador hasta eliminar la indeterminación.
$$\lim_{x \to \infty}\left(x \log{\left(\cosh{\left(x \right)} \right)} \sin{\left(\frac{1}{x^{2}} \right)}\right)$$
=
Introducimos una pequeña modificación de la función bajo el signo del límite
$$\lim_{x \to \infty}\left(x \log{\left(\cosh{\left(x \right)} \right)} \sin{\left(\frac{1}{x^{2}} \right)}\right)$$
=
$$\lim_{x \to \infty}\left(\frac{\frac{d}{d x} x \log{\left(\cosh{\left(x \right)} \right)}}{\frac{d}{d x} \frac{1}{\sin{\left(\frac{1}{x^{2}} \right)}}}\right)$$
=
$$\lim_{x \to \infty}\left(\frac{x^{3} \left(\frac{x \sinh{\left(x \right)}}{\cosh{\left(x \right)}} + \log{\left(\cosh{\left(x \right)} \right)}\right) \sin^{2}{\left(\frac{1}{x^{2}} \right)}}{2 \cos{\left(\frac{1}{x^{2}} \right)}}\right)$$
=
$$\lim_{x \to \infty}\left(\frac{x^{3} \left(\frac{x \sinh{\left(x \right)}}{\cosh{\left(x \right)}} + \log{\left(\cosh{\left(x \right)} \right)}\right) \sin^{2}{\left(\frac{1}{x^{2}} \right)}}{2}\right)$$
=
$$\lim_{x \to \infty}\left(\frac{x^{3} \left(\frac{x \sinh{\left(x \right)}}{\cosh{\left(x \right)}} + \log{\left(\cosh{\left(x \right)} \right)}\right) \sin^{2}{\left(\frac{1}{x^{2}} \right)}}{2}\right)$$
=
$$1$$
Como puedes ver, hemos aplicado el método de l'Hopital (utilizando la derivada del numerador y denominador) 1 vez (veces)