(6.320245 × 10^12038) / (20000 choose 1000)