Assume $\int_0^\infty f(x)dx$ converges. Prove there exists $\xi\in[1,\infty)$ such that $$\int_1^\infty \frac{f(x)}x dx=\int_1^\xi f(x)dx.$$
I used various mean value theorems but couldn't get the desired result. Another attempt beyond these is:
Let $\displaystyle F(x)=\int_1^x f(t)dt$, then \begin{align*} \int_1^\infty \frac{f(x)}x dx=\int_1^\infty \frac1x ~dF(x)&=\left.\frac {F(x)}x\right|_1^\infty-\int_1^\infty F(x) ~d\frac1x\\ &=0-0+\int_1^\infty \frac {F(x)}{x^2}dx\\ &=\int_1^\infty \frac {F(x)}{x^2}dx. \end{align*} How to analyze next? Any help would be appreciated!