The Cauchy-Schwarz inequality is a general inequality for inner product spaces.

Thus, what you wrote is a consequence of this general inequality found here*.

*)I am just a little worried because the space of all integral functions is not an inner product space with norm .

However, the proof on that page seems to work.