WolframAlpha computational knowledge AI
lim arctan(1/x) as x->0+