inner product, Hilbert spaces, Lebesgue measure, Cauchy-Bunyakovski-Schwarz inequality