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