Formula used for sum of cards probability problem

This user is a Super Learner. Super Learners receive answers to their questions more quickly.