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