/ 3 \ / 2\ log|x + --| log|2 - -| | 2| \ x/ log(x + 3) \ x / ---------- - ---------- >= ----------- log(5) log(5) log(5)
log(2 - 2/x)/log(5) - log(x + 3)/log(5) >= log(x + 3/x^2)/log(5)