I was struggling with the following integral: $$\displaystyle I=\int\limits_{0}^{+\infty}\dfrac{\arctan \pi x-\arctan x}{x}dx$$
And I found a question about it on this site where the answer said that we can rewrite the above integral as follows:
$$I=\int_0^\infty dx\int_1^\pi dy\ \frac{1}{1+x^2y^2}$$
But I have no clue why this is true, could anybody enlighten me?
You can directly compute $$ \int\frac{1}{1+x^2y^2}\,dy=\frac{\arctan(\pi x)-\arctan x}{x} $$ Just substitute $u=xy$.