WolframAlpha computational knowledge AI
sum k/2^k