ResPubID7493, triangle inequality, inner product spaces, Schwarz inequality