2^(100!) > (2^100)!