WolframAlpha computational knowledge AI
lim x->+inf x*sin(x)