inequalities; reverse triangle inequalities; vectors; Hilbert C∗-modules; operator inequalities