9.3.2.12 Improper integrals

§ Problem: Examine the improper integral for convergence: \[ \int_{1}^{+\infty} \frac{\ln \cos (1 / x)}{x} d x \]