triangle inequality, inner product spaces, normed spaces, Ostrowski inequality