Question
Find the exact value of $$\int_{1}^{2016}\frac {\lfloor \ln x \rfloor} {x}\ \mathrm{d}x\ .$$
My working
My intuition is to treat the integral without the floor function and integrate, then "put back" the floor function after, so $$\int_{1}^{2016}\frac {\lfloor \ln x \rfloor} {x}\ \mathrm{d}x = \frac 1 2 [(\lfloor \ln x \rfloor)^2]^{x = 2016}_{x = 1}\ .$$
May I know if my intuition is correct? If not, what would be the right way to do this? This is my first time encountering an integral with the floor function. Any help/suggestions would be greatly appreciated :)