Numerical result shows that
$$ \lim_{n\to\infty}\int_0^1\frac{\sin(2n\pi x)}{\ln x}\,dx=\frac\pi2,\qquad \lim_{n\to\infty}\int_0^1\frac{\sin\left((2n+1)\pi x\right)}{\ln x}\,dx=-\frac\pi2. $$
I want to know if it's true or my computer is just lying to me.
What I've tried:
Something like here and here. Maybe it can work but I don't know how to deal with the limit. It just ruins everything.
Residue theorem for $$f:z\mapsto\frac{\exp(i\cdot2n\pi z)}{\log z}$$ using a curve around the $1/4$ unit disk without center and outer edge: $(\epsilon_1, 0)\to(1-\epsilon_2, 0)\to(0, 1-\epsilon_2)\to(0,\epsilon_1)\to(\epsilon_1, 0)$.
It didn't work. Maybe using directly $z\mapsto \sin (2n\pi z)/\log z$ can lead to something but I didn't try.
Substitution using $t = 2nx$, then dividing the integration interval into $2n$ parts and trying to get a Riemann sum. I failed.
Any other ideas?