f(x)=1/2sin2x-（√3/2）cos2x+1
=sin(2x-π/3)+1
最小值=-1+1=0
f(x)>=log(2)t恒成立
∴0>=log(2)t
∴0