MathNet 2020 — Math Olympiad Vault — Part 04 Question 149

Let $I_n=\int_1^n\lfloor x\rfloor/(x^2+1)\,dx$ for integers $n\ge2$. Find $\lim_{n\to\infty}I_n/\ln n$.