Ever wanted to work with a one-step inequality? Here’s how its done 🙂