已知函数，其中． 
若函数在上有极大值0，求的值；（提示：当且仅当时，）
（2） 讨论并求出函数在区间上的最大值；
（3）在（1）的条件下设，对任意，证明：不等式恒成立．