Inner product spaces, normed spaces