WolframAlpha computational knowledge AI
summation k*2^k from 1 to n