/1 - cos(-1 + cos(x))\ lim |--------------------| x->oo| 4 | \ x /
Limit((1 - cos(-1 + cos(x)))/x^4, x, oo, dir='-')
/1 - cos(-1 + cos(x))\ lim |--------------------| x->0+| 4 | \ x /
1/8
= 0.125
/1 - cos(-1 + cos(x))\ lim |--------------------| x->0-| 4 | \ x /
1/8
= 0.125
= 0.125