/x\ / 2/25\ log(x)*log|-| log\x / \5/ ---------- > --------------- log(25) log(25)*log(25)
log(x^(2/25))/log(25) > (log(x)*log(x/5))/((log(25)*log(25)))
4/25 (1, 5*5 )
x in Interval.open(1, 5*5^(4/25))
/ 4/25\ And\1 < x, x < 5*5 /
(1 < x)∧(x < 5*5^(4/25))