WolframAlpha computational knowledge AI
T[n]==T[n/2]+1