nonzero vectors; inequality; normed linear space; norm inequalities; angular distance