（本題滿分12分）

已知是定義在上的函數，且滿足下列條件：

①對任意的，；②當時，.

（1）證明是定義在上的減函數；

（2）如果對任意實數，有恒成立，求實數的取值范圍。