(1)
まず h(x)=x−sinx とおく。x≧0 で h′(x)=1−cosx≧0 であり、h(0)=0 だから sinx≦x である。
次に ϕ(x)=sinx−x+6x3 とおく。すると ϕ′(x)=cosx−1+2x2,ϕ′′(x)=−sinx+x=x−sinx である。すでに示した sinx≦x より、x≧0 で ϕ′′(x)≧0 である。さらに ϕ′(0)=0,ϕ(0)=0 だから、ϕ′(x)≧0、さらに ϕ(x)≧0 が従う。よって sinx−x+6x3≧0 すなわち x−6x3≦sinx≦x である。
(2) 0≦t≦x では t≧0 なので、(1)の不等式に t を掛けて t2−6t4≦tsint≦t2 を得る。これを 0 から x まで積分すると∫0x(t2−6t4)dt≦∫0xtsintdt≦∫0xt2dtである。したがって3x3−30x5≦∫0xtsintdt≦3x3である。
(3)
部分積分を用いると∫0xtsintdt=[−tcost]0x+∫0xcostdt=−xcosx+sinxである。よってsinx−xcosx=∫0xtsintdtである。x>0 について(2)を x3 で割ると 31−30x2≦x3sinx−xcosx≦31 である。はさみうちより x→+0limx3sinx−xcosx=31 である。
さらに sinx−xcosx は奇関数であり、x3 も奇関数なので、商 x3sinx−xcosx は偶関数である。したがって左側極限も同じ値になり、x→0limx3sinx−xcosx=31 である。