triangle inequality, reverses of triangle inequality, Schwarz inequality, inner products