ResPubID9406; generalised triangle inequality, inner product spaces