SMS: Operator inequalities