lim (x/2 + arccotan(x)) as x->infinity