Question

已知函数
（1）试判断f（x）的单调性，并说明理由；
（2）若恒成立，求实数k的取值范围；
（3）求证：[（n+1）!]²＞（n+1）•e^n-2，（n∈N^*）．

Answer

（1）求导函数，根据函数的定义域，即可确定函数的单调性；
（2）如果当x≥1时，不等式恒成立，把k分离出来，再利用导数法确定函数的单调性，再求出函数最值即可；
（3）由（2）可得，令x=n（n+1），则，写出n个式子，叠加即可证明结论．
（1）【解析】
求导函数，可得=
∵x≥1，∴lnx≥0，∴f′（x）≤0，
∴函数f（x）在[1，+∞）上单调减
∴函数f（x）的单调减区间是[1，+∞）．
（2）【解析】
不等式，即为，记，
所以，
令h（x）=x-lnx，则，
∵x≥1，∴h′（x）≥0．
∴h（x）在[1，+∞）上单调递增，∴[h（x）]min=h（1）=1＞0，
从而g′（x）＞0
故g（x）在[1，+∞）上也单调递增，
∴[g（x）]min=g（1）=2，所以k≤2
（3）证明：由（2）知：恒成立，即，
令x=n（n+1），则，
所以，，，…，．
叠加得：ln[1×22×32×…×n2×（n+1）]=
则1×22×32×…×n2×（n+1）＞en-2，
所以[（n+1）!]2＞（n+1）•en-2，（n∈N*）．