已知函数的定义域为，且同时满足以下三个条件：①；②对任意的，都有；③当时总有.
（1）试求的值；
（2）求的最大值；
（3）证明：当时，恒有.