Demuestre que si $f_1,\ldots,f_n$ son funciones continuas no negativas definidas en $[0,1]$ entonces existe algún $x \in [0,1]$ tal que $$f_1(x)f_2(x) \cdots f_n(x) \leq \int_0^1f_1 \int_0^1f_2 \cdots \int_0^1 f_n$$
Este fue el problema del mes de mi antiguo departamento de matemáticas recientemente, y no he podido resolverlo. No puedo llegar a ninguna parte con los teoremas más simples del análisis, como los teoremas del valor medio. Me gustaría resolverlo por mí mismo, así que se agradecen los consejos.