不等式1/log(3)(x-1)