Yes, I meant inequality... silly me. It makes sense the inequality you stated since the vertex with 7 as it's opposite side has a "plus 1", whereas the vertex with y[degree symbol] is only y.
So, naturally, the side with the bigger angle opposite itself must be bigger.
How about finding the inequality for this here lovely?
(Excuse the bad drawing)