x -x x x + 1 50*9 - 100 + 50*9 20 + 20*9 9 *5 - 15 -------------------- - ---------- <= ------------- x -x x x 9 + 9 + 2 9 + 1 9 + 1
(50*9^x - 100 + 50*9^(-x))/(9^x + 9^(-x) + 2) - (20*9^x + 20)/(9^x + 1) <= (5*9^(x + 1) - 15)/(9^x + 1)
/ / ____\ \ | | 17 2*\/ 79 | | |log|- -- + --------| | | \ 3 3 / | And|-------------------- <= x, x < oo| \ log(9) /
(x < oo)∧(log(-17/3 + 2*sqrt(79)/3)/log(9) <= x)
/ ____\ | 17 2*\/ 79 | log|- -- + --------| \ 3 3 / [--------------------, oo) log(9)
x in Interval(log(-17/3 + 2*sqrt(79)/3)/log(9), oo)