/ 2\ |1 - x | lim asin|------| x->oo | 2| \1 + x /
Limit(asin((1 - x^2)/(1 + x^2)), x, oo, dir='-')
-pi ---- 2