Functional Analysis: Entering Hilbert Space