lim ((integrate cos(t^2) dt from t=0 to x) / x) as x goes to t