Fun with Functional Analysis