lim(x->0)1/x∫(0到sinx)cos(t^2)dt