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