先不要看❶和❷那是后知后觉。
根据一致收敛的定义,即证对于∀x∈[0,a],∃n>N(epsilon),当n>N(epsilon)时,|s_n(x)-s(x)|
根据❶和❷,可得exp(-x)(1+x/n)^n在[0,a]上单调递减
∴1>=exp(-x)(1+x/n)^n>=exp(-a)(1+a/n)^n>0
=exp(x)(1-exp(-x)(1+x/n)^n)
<=exp(a)(1-exp(-a)(1+a/n)^n)⇨⇨⇨⇨⇨关键是在此能得到与x无关的量,即∀x∈[0,a]
∵limexp(a)(1-exp(-a)(1+a/n)^n)=0
∴∃n>N(epsilon),当n>N(epsilon)时,exp(a)(1-exp(-a)(1+a/n)^n)