비등식 그룹 x>a x

비등식 그룹 x>a x

x>a x=b
y+a>=1
y>=1-a
y+b