WolframAlpha computational knowledge AI
SUM ((13 CHOOSE X) * (1/3)^X * (2/3)^(13-X)) X={6,13}