solve(log(1/3,(x-1)*(x 1))>log(1/3,2))for x real