WolframAlpha computational knowledge AI
lim sin(1/x), x->0