>>827
十分に大きい正の実数xに対し
-1/x<(cosx)/x<1/x　①
で
lim[x→∞](-1/x)=0　②
lim[x→∞](1/x)=0　③
①、②、③からはさみうちの原理により
lim[x→∞]{(cosx)/x}=0