定义在上的函数，，当时，.且对任意的有。
（1）证明：；
（2）证明：对任意的，恒有；
（3）证明：是上的增函数；
（4）若，求的取值范围。