Non-linear inequalities