I am trying to prove the following:
Suppose $\phi:[0,\infty) \to \mathbb{R}$ a continuous, bounded and integrable function and $\psi:[0,\infty) \to \mathbb{R}$ is a continuous, bounded above by 1, strictly decreasing, positive function.
Then, there exists a $\xi \in [0,\infty)$ such that $\int_0^{\infty} \psi(x)\phi(x)dx = \psi(\xi)\int_0^{\infty}\phi(x)dx$
I was able to show that there exists $\xi$ such that $\mid \int_0^{\infty} \psi(x)\phi(x)dx \mid = \psi(\xi)\int_0^{\infty}\mid \phi(x) \mid dx$ using the inequality $\mid\int_0^{\infty} \phi(x) dx \mid < \int_0^{\infty}\mid \phi(x)\mid dx$ and the intermediate value theorem. Any ideas how to proceed from here?