sum of binom (13,k) * binom (39,18-k) / binom (52,18) for k=0..4