46C15 - Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Characterizations of Hilbert spaces