Cauchy-Bunyakovsky-Schwarz inequality, Lebesgue integral, measurable spaces