/1 - cos(x)\ lim |----------| x->oo\ sin(x) /
Limit((1 - cos(x))/sin(x), x, oo, dir='-')
/1 - cos(x)\ lim |----------| x->0+\ sin(x) /
0
= 4.95349509297983e-32
/1 - cos(x)\ lim |----------| x->0-\ sin(x) /
0
= -4.95349509297983e-32
= -4.95349509297983e-32