Been working on the section about inner product spaces in Axler. This is where it starts getting a bit newer for me. Obviously, I know wha...