Me encontré con este límite mientras integraba funciones de Bessel: $$\lim_{b\to\infty}b\int_0^1\cos(b x) \cosh^{-1}(\frac{1}{x})dx$$
Esta integral no tiene ningún valor estándar que yo conozca para los fijos $b$ . Graficándolo numéricamente, parece converger a $\pi/2$ como $b\to\infty$ (aunque lentamente).
¿Alguien tiene alguna idea para evaluar dicha integral/límite?