sqrt(x^2-9)>sqrt(2)*x+3sqrt(2)