log2((2**12)! / (2**12 - 5)!)