metric space, inequalities, inner product spaces, mathematics