log(2 + x) ---------- / 2 \ log(625) log\x + 4*x + 4/ x >= ----------------- log(5)
x^(log(x + 2)/log(625)) >= log(x^2 + 4*x + 4)/log(5)