/ 3 \ |1 - cos (x)| lim |-----------| x->oo\ x*sin(2*x)/
Limit((1 - cos(x)^3)/((x*sin(2*x))), x, oo, dir='-')
/ 3 \ |1 - cos (x)| lim |-----------| x->0+\ x*sin(2*x)/
3/4
= 0.75
/ 3 \ |1 - cos (x)| lim |-----------| x->0-\ x*sin(2*x)/
3/4
= 0.75
= 0.75