已知函数，。
（1）求函数的解析式；
（2）若对于任意，都有成立，求实数的取值范围；
（3）设，，且，求证：。