>>982
x+3y+4z<8z から 2xyz<8z となります.