已知函数，其中a为实数。
（1）求函数的单调区间；
（2）若函数对定义域内的任意x恒成立，求实数a的取值范围。
（3）证明，对于任意的正整数m，n，不等式恒成立。