设函数，其中
（1）当时，判断函数在定义域上的单调性；
（2）求的极值点；
（3）证明对任意的正整数，不等式都成立。