Forming Inequalities from statement