WolframAlpha computational knowledge AI
limes n->inf (3*n+1)/(2*n)