triangle inequality, reverse inequality, Hilbert C*-module