ResPubID9392; Schwarz’s inequality, triangle inequality, inner product spaces