定义在上的函数，对任意的，都有成立，且当时，．  
（１）试求的值；
（２）证明：对任意都成立；
（3）证明：在上是减函数；
（4）当时，解不等式．