log(5,-x^2+25)^2-3*log(5,-x^2+25)+2 >= 0