Schwarz's inequality, triangle inequality, inner product spaces