solve y+2/y>4*d and y>2+sqrt(2) and d>2 over reals