Math Camp 1: Functional analysis