2**(100!) > (2**100)!