Page "Banach space" Paragraph 28

Every Hilbert space X is a Banach space because, by definition, a Hilbert space is complete with respect to the norm associated with its inner product, where a norm and an inner product are said to be associated if for all x ∈ X.