Cómo resolver $\int_{1}^{e^{37}}\frac{\pi sin\left(\pi \ln(x)\right)}{x}\, dx$

Question

Pregunta ¿Cómo resolver $\int_{1}^{e^{37}}\frac{\pi sin\left(\pi \ln(x)\right)}{x}\, dx$

Mi Enfoque No tengo ni idea al respecto. Por favor, dame algunas pistas.

Editar Hice esta publicación solo para obtener una pista sobre cómo abordarlo. Ahora lo he entendido correctamente, así que puedo resolverlo. Gracias por publicar comentarios y respuestas

Answer 1

Pista

Si haces $\log(x)=t\implies x=e^t\implies dx=e^t\,dt$ y ves qué sucede para la antiderivada.