One-variable, one-step inequalities