解不等式:log2(x²-1)