log_2(2^27 choose 30000)/30000