/ x*tan(x) \ lim |----------| x->oo\1 - cos(x)/
Limit((x*tan(x))/(1 - cos(x)), x, oo, dir='-')
/ x*tan(x) \ lim |----------| x->0+\1 - cos(x)/
2
= 2.0
/ x*tan(x) \ lim |----------| x->0-\1 - cos(x)/
2.0