Stav dette: Measure, lebesgue integrals, and hilbert space