已知函数。
（1）讨论函数在定义域内的最值；
（2）已知数列满足。
① 证明对一切且，；
② 证明对一切，（这里是自然对数的底数）。