Multi-step inequaluty