/ 6\ log\25*x / 12 ---------- - -------- - 1 <= 1 log(5) 25 log (x)
log(25*x^6)/log(5) - 12/log(x)^25 - 1 <= 1