已知函数的定义域为,当时,,且对于任意的，恒有成立.
(1)求；
(2)证明：函数在上单调递增；
(3)当时,
①解不等式；
②求函数在上的值域.