octagon inequalities