log(sqrt(17)-x, (7*sqrt(17)+x(sqrt(17)-7)-x^2))<=1