WolframAlpha computational knowledge AI
solve a(n+1)=1+2a(n), a(0)=1