Translating to an inequality