令f(x)= x^2 -2 -log2(x)
f '= 2x - 1/ (x* ln2)
令f '=0,x= ±1 /√ (2*ln2) ≈ 0.85
又x>0,所以函数在(0,0.85)单调递减,（0.85,＋∞）单调递增
又因为f(1)=-1