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)
10^x/(((2*(log(x + 1)/log(2))^2)*(log(x + 2)/log(3)))) <= (15*3^x)^x/(((9*(log(x + 1)/log(2))^2)*(log(x + 2)/log(3))))