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