x+y+2xy=8
x=(8-y)/(1+2y)
x+2y=(8+y+4yˇ2)/(1+2y)
=(1+2y)+17/2(1+2y)-3/2
≥-3/2+2(17/2)^0.5