lim (x→0)(∫(上x下0)(1-cost)dt)/x^3