x
x / x\
10 \15*3 /
-------------------------- <= --------------------------
2 2
/log(x + 1)\ log(x + 2) /log(x + 1)\ log(x + 2)
2*|----------| *---------- 9*|----------| *----------
\ log(2) / log(3) \ log(2) / log(3)
$$\frac{10^{x}}{2 \left(\frac{\log{\left(x + 1 \right)}}{\log{\left(2 \right)}}\right)^{2} \frac{\log{\left(x + 2 \right)}}{\log{\left(3 \right)}}} \leq \frac{\left(15 \cdot 3^{x}\right)^{x}}{9 \left(\frac{\log{\left(x + 1 \right)}}{\log{\left(2 \right)}}\right)^{2} \frac{\log{\left(x + 2 \right)}}{\log{\left(3 \right)}}}$$