Measure, integration, and functional analysis