translate inequalities

Kris Beck