えー・・・っと?

>>413
y≧6n-x/2

これってどこから導き出してこればいいんですか?