sqrt(x-3)+(9-x)^(1/4)>sqrt(3)