若函数y=log2 x+2的反函数的定义域为(3,+∞),则此函数的定义域为