函数F(X)=3+log以二分之一为底,x的对数,(x>=1)则他的反函数的定义域为?