已知x>0,y≥0,且x+2y=1/2,求s=log1/2(8xy+4y^2+1)的最小值.