sqrt(x^2+-8x+15)+sqrt(x^2+2x-15)>sqrt(4x^2-18x+18)