...And we have the solution: {x: x > 1} satisifies the inequality x + 3 > 4. I would go through these steps and
offer explanation and how each step is motivated, to help students understand their subjects. Illiciting feedback from the student at every step of the above long argument is important. (read more)