2^x-√2/2>=0,由于√2/2=2^(-1/2),而f(x)=2^x为单调递增函数,因此该不等式的解集为x>=-1/2.