1-\frac{20!(80-20)!(80-20+1)!}{80!}\sum_{k=0}^{10} \frac{1}{(80-2\cdot 20+1+k)!(20-2k)!k!}