y = ∫(cosx->1) e∧(-t^2)dt
=-∫(1->cosx) e∧(-t^2)dt
dy/dx
= - e^(-(cosx)^2) .d/dx ( cosx)
=sinx. e^[-(cosx)^2]
//
lim(x->0)∫(cosx->1) e∧(-t^2)dt /x^2 (0/0)
// 分子,分母分别求导
=lim(x->0) sinx. e^[-(cosx)^2] /(2x)
// 等价无穷小: sinx ~ x
=lim(x->0) x. e^[-(cosx)^2] /(2x)
=lim(x->0) e^[-(cosx)^2] /2