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